Dominique Devriese

Available identifiers

Publication	Date of Publication	Type
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	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
https://portal.mardi4nfdi.de/entity/Q4596778	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	2015-03-05	Paper
Overlapping and Order-Independent Patterns	2014-04-16	Paper
Finally tagless observable recursion for an abstract grammar model	2013-06-28	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dominique Devriese