Dominique Devriese

Available identifiers

Publication	Date of Publication	Type
Transpension: the right adjoint to the Pi-type	2024-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q6068934	2023-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q6113382	2023-08-08	Paper
Linear capabilities for fully abstract compilation of separation-logic-verified code	2021-12-13	Paper
StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities	2021-12-13	Paper
A categorical approach to secure compilation	2021-02-22	Paper
Degrees of relatedness. A unified framework for parametricity, irrelevance, ad hoc polymorphism, intersections, unions and algebra in dependent type theory	2021-01-20	Paper
Leibniz equality is isomorphic to Martin-Löf identity, parametrically	2020-09-09	Paper
Reasoning about a machine with local capabilities. Provably safe stack and return pointer management	2019-09-13	Paper
Modular, fully-abstract compilation by approximate back-translation	2017-12-11	Paper
Eliminating dependent pattern matching without K	2017-10-23	Paper
Unifiers as equivalences: proof-relevant unification of dependently typed data	2017-05-10	Paper
Fully-abstract compilation by approximate back-translation	2016-10-24	Paper
Pattern matching without K	2016-09-29	Paper
Typed syntactic meta-programming	2015-03-30	Paper
On the bright side of type classes: instance arguments in Agda	2015-03-05	Paper
Overlapping and order-independent patterns. Definitional equality for all	2014-04-16	Paper
Finally tagless observable recursion for an abstract grammar model	2013-06-28	Paper

This page was built for person: Dominique Devriese