Andreas Nuyts
where else to find them
what they talk about
where they keep going back
- POPL2 editions2024–2025
on a stage with
who talks about the same things
- Ambrus Kaposi2 talks
- Dominique Devriese17 talks
- Andreas Abel6 talks
- Andreia Mordido2 talks
- Nicolas Tabareau14 talks
- James McKinna2 talks
| title | conference | date |
|---|---|---|
| BiSikkel: A Multimode Logical Framework in Agda | POPL 2025 | 2025-01-19 |
Library implements a multimode logical framework (MULF) on top of the existing Sikkel Agda stack, giving a syntactic MST layer, presheaf semantics and a… | ||
| Internal and Observational Parametricity for Cubical Agda | POPL 2024 | 2024-01-14 |
An implementation called Agda --bridges adds internal parametricity to cubical Agda, successfully type checks the cubical library and mechanizes key results… | ||
| Contextual Algebraic Theories: Generic Boilerplate beyond Abstraction | TyDe 2022 | 2022-09-11 |
Menkar faces massive duplicated boilerplate across renaming, substitution, normalization and pretty‑printing; the proposal defines Contextual Multisorted… | ||
| nothing matches | ||