Paulette Koronkevich
where else to find them
what they talk about
where they keep going back
- Scheme2 editions2019–2026
all 6 in the filters
on a stage with
all 4 in the filters
who talks about the same things
- William J. Bowman13 talks
- Adam T. Geller3 talks
- Ondřej Lhoták11 talks
- Edward Lee10 talks
- Lionel Parreaux19 talks
- Aleksander Boruch-Gruszecki9 talks
| title | conference | date |
|---|---|---|
| Regions as Continuation Marks | Scheme 2026 | 2026-08-29 |
Presents a concrete translation from regions into continuation marks and an interpreter that maps let-region to with-continuation-mark and region allocations… | ||
| Type-Preserving Flat Closure Optimization | OOPSLA 2025 | 2025-10-16 |
Proposes a new Flat-Closure Calculus (FCC) that encodes the flat closure calling convention with singleton types so the projected code pointer is typechecked… | ||
| Type Universes as Kripke Worlds: Memory Management Edition | IWACO 2025 | 2025-10-14 |
Claims a tight correspondence between dependent-type type universe hierarchy and Kripke-style heap worlds, using a kinding discipline to forbid cross-level and… | ||
| Type Universes as Kripke Worlds | ICFP 2025 | 2025-10-12 |
Paper claims that stratifying allocated types into a type universe hierarchy (each universe ↔ a semantic Kripke world per universe) removes the usual… | ||
| One Weird Trick to Untie Landin's Knot | HOPE 2023 | 2023-09-04 |
Claim: Landin’s Knot arises from impredicative quantification over a function’s closure environment, not merely from storing functions in refs. Method: perform… | ||
| Getting the Most Out of ICFP | PLMW @ ICFP 2023 | 2023-09-04 |
Advice for getting the most out of ICFP centers on concrete habits: prioritize a people-first perspective by making peer introductions, joining conversation… | ||
| Reigniting Fuse, an Online Partial Evaluator for Scheme | Scheme 2019 | 2019-08-18 |
Reignites Fuse, an online partial evaluator for Scheme that actually terminates by combining a specialization cache (indexing by symbolic value attributes)… | ||
| nothing matches | ||