Paul Downen
where else to find them
website:https://www.pauldownen.com/
github:pdownen
what they talk about
where they keep going back
- ICFP2 editions2020–2022
all 4 in the filters
on a stage with
all 13 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Rewriting Macros on the Fly: A Modular Approach to Administrative Reduction During(…) | Scheme 2025 | 2025-10-16 |
A system rewrites administrative expressions during macro expansion to avoid the extra lambdas and applications that CPS and other transforms ordinarily emit… | ||
| Closure Conversion in Little Pieces | PPDP 2023 | 2023-10-22 |
The paper makes closure conversion a syntactic equality by adding abstract closures to a CBPV-style IL, proving an equational theory sound and complete with… | ||
| Introduction and Elimination, Left and Right | ICFP 2022 | 2022-09-11 |
Claims that four rule choices—right/left introduction and elimination—yield four distinct program structures but are equally expressive through mechanical… | ||
| A Type-Safe Structure Editor Calculus + Strictly Capturing Non-Strict Closures | PEPM 2021 | 2021-01-18 |
Two short papers: one builds a type-safe editor calculus with cursors, holes, breakpoints and a small-step semantics and gives a behavioral type system… | ||
| Kinds are Calling Conventions | ICFP 2020 | 2020-08-23 |
An intermediate language encodes runtime representation, arity and evaluation strategy inside kinds so multi-argument calls compile statically even under… | ||
| nothing matches | ||