Robert Atkey
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 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Type-Sensitive Algebraic Macros | PEPM 2025 | 2025-01-21 |
Claims a type-sensitive algebraic theory that directly encodes typechecking and elaboration for STλC, plus concrete variants: Bidirectional STλC and… | ||
| Polynomial Time and Dependent types | POPL 2024 | 2024-01-14 |
Combines two concrete implicit‑P approaches — a cons‑free linear system that bans construction of iterable data, and an LFPL style diamond payment system that… | ||
| Compiling higher-order specifications to SMT solvers: how to deal with rejection ... | CPP 2023 | 2023-01-16 |
Claims a verified pipeline that compiles higher-order Vehicle specifications to SMT while giving pinpointed rejections, implemented for Marabou-style backends… | ||
| nothing matches | ||