Dominique Devriese

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Transpension: the right adjoint to the Pi-type Logical Methods in Computer Science	2024-06-27	Paper
scientific article; zbMATH DE number 7779294 (Why is no real title available?) (available as arXiv preprint)	2023-12-15	Paper
scientific article; zbMATH DE number 7779294 (Why is no real title available?)	2023-12-15	Paper
scientific article; zbMATH DE number 7724261 (Why is no real title available?) (available as arXiv preprint)	2023-08-08	Paper
Linear capabilities for fully abstract compilation of separation-logic-verified code Journal of Functional Programming	2021-12-13	Paper
StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities Journal of Functional Programming	2021-12-13	Paper
A categorical approach to secure compilation (available as arXiv preprint)	2021-02-22	Paper
Degrees of relatedness. A unified framework for parametricity, irrelevance, ad hoc polymorphism, intersections, unions and algebra in dependent type theory Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
Leibniz equality is isomorphic to Martin-Löf identity, parametrically Journal of Functional Programming	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 (available as arXiv preprint)	2017-12-11	Paper
Eliminating dependent pattern matching without K Journal of Functional Programming	2017-10-23	Paper
Unifiers as equivalences: proof-relevant unification of dependently typed data Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming	2017-05-10	Paper
Fully-abstract compilation by approximate back-translation Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2016-10-24	Paper
Pattern matching without K Proceedings of the 19th ACM SIGPLAN international conference on Functional programming	2016-09-29	Paper
Typed syntactic meta-programming Proceedings of the 18th ACM SIGPLAN international conference on Functional programming	2015-03-30	Paper
On the bright side of type classes: instance arguments in Agda Proceedings of the 16th ACM SIGPLAN international conference on Functional programming	2015-03-05	Paper
Overlapping and order-independent patterns. Definitional equality for all Programming Languages and Systems	2014-04-16	Paper
Finally tagless observable recursion for an abstract grammar model Journal of Functional Programming	2013-06-28	Paper

Research outcomes over time

This page was built for person: Dominique Devriese