Tho Winterhalter
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | LICS | Definitional Proof Irrelevance Made Accessible. | Thiago Felicissimo, Yann Leray, Loc Pujet, Nicolas Tabareau, ric Tanter, Tho Winterhalter |
| 2024 | CPP | The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography. | Philipp G. Haselwarter, Benjamin Salling Hvass, Lasse Letager Hansen, Tho Winterhalter, Catalin Hritcu, Bas Spitters |
| 2024 | FOSSACS | From Rewrite Rules to Axioms in the $\lambda \varPi $-Calculus Modulo Theory. | Valentin Blot, Gilles Dowek, Thomas Traversi, Tho Winterhalter |
| 2024 | FSCD | Impredicativity, Cumulativity and Product Covariance in the Logical Framework Dedukti. | Thiago Felicissimo, Tho Winterhalter |
| 2024 | ITP | The Rewster: Type Preserving Rewrite Rules for the Coq Proof Assistant. | Yann Leray, Gatan Gilbert, Nicolas Tabareau, Tho Winterhalter |
| 2019 | CPP | Eliminating reflection from type theory. | Tho Winterhalter, Matthieu Sozeau, Nicolas Tabareau |