Herman Geuvers
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Gijs Penningsonce
- Lasse Blaauwbroekonce
- Miroslav Olšákonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| A systematic approach to "Well-founded recursion done right" | RocqPL 2026 | 2026-01-17 |
Systematic pattern for well-founded recursion: add an auxiliary accessibility argument so Coq/Rocq accepts definitions as structural, generate the two small… | ||
| Hashing Modulo Context-Sensitive Alpha-Equivalence | PLDI 2024 | 2024-06-24 |
Defines context-sensitive alpha-equivalence as fork equivalence that coincides with bisimulation and gives a concrete hashing procedure that computes hashes… | ||
| nothing matches | ||