Nathan Corbyn
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 12 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Modular Construction of Multi-sorted Free Extensions | PEPM 2023 | 2023-01-16 |
Defines how to build combined free extensions by composing existing frexes and gives three modular constructions: a concrete involutive algebra frex (covers… | ||
| Normalization by Evaluation with Free Extensions (Extended Abstract) | TyDe 2022 | 2022-09-11 |
Claim: augmenting normalization-by-evaluation with free extensions (frex) produces a single generic NbE algorithm for simply typed lambda calculus with… | ||
| Student Research Competition Final Presentations | ICFP 2022 | 2022-09-11 |
Session collects six short student projects with concrete artifacts and techniques: HenBlocks: structured editing for Coq is a client‑side web app (GS‑Coq… | ||
| nothing matches | ||