Samantha Frohlich
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 8 in the filters
who talks about the same things
- G. A. Kavvos3 talks
- Meng Wang16 talks
- Harrison Goldstein10 talks
- Benjamin C. Pierce17 talks
- Kazutaka Matsuda3 talks
- Sarah E. Chasins11 talks
| title | conference | date |
|---|---|---|
| Contextual Embeddings: Implementing Bound Variables through Instance Resolution | PLDI 2026 | 2026-06-15 |
Introduces contextual embeddings: an embedding that preserves typing contexts and uses the host's type-class instance-resolution based index reconstruction to… | ||
| Consider Collaboration | PLMW @ POPL 2024 | 2024-01-17 |
Argues that collaboration multiplies research output and effectiveness, citing one adviser’s record of 113 coauthored papers, four books and at least 60… | ||
| Reflecting on Random Generation | ICFP 2023 | 2023-09-04 |
Presents reflective generators that combine free generators + partial monadic profunctors so a generator can run “backwards” to recover random choices that… | ||
| Embedding by Unembedding | ICFP 2023 | 2023-09-04 |
Presents a concrete recipe that turns a tagless‑final (HOAS) interface into de Bruijn terms via embedding by unembedding, exposing when HOAS fails and how to… | ||
| CircuitFlow: : A Domain Specific Language for Dataflow Programming | PADL 2022 | 2022-01-17 |
An embedded Haskell DSL models workflows as a Symmetric Monoidal Preorder to statically type inputs and outputs, composes tasks with then and beside, and runs… | ||
| nothing matches | ||