Guillaume Allais
where else to find them
no profile links on file
what they talk about
where they keep going back
- PEPM2 editions2023–2024
on a stage with
all 12 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Scoped and Typed Staging by Evaluation | PEPM 2024 | 2024-01-16 |
Dependently typed host language constructs a minimal two‑level simply typed calculus that is well scoped and typed by construction, using an NbE‑style model to… | ||
| 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… | ||
| Frex: indexing modulo equations with free extensions (Extended Abstract) | TyDe 2020 | 2020-08-23 |
An extensible Idris2 library implements equality-by-normalization for indices using free extensions, with a user tier (frexlets) and a developer tier (core… | ||
| POPLMark reloaded: Mechanizing proofs by logical relations | ICFP 2020 | 2020-08-23 |
Proposes a benchmark that mechanizes logical-relation proofs by proving strong normalization via Kripke-style logical relations for simply-typed lambda… | ||
| nothing matches | ||