Zena M. Ariola
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 9 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| 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… | ||
| 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 | ||