Jacques Garrigue

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
Typed compositional quantum computation with lenses	2026-02-10	Paper
A practical formalization of monadic equational reasoning in dependent-type theory Journal of Functional Programming	2025-11-25	Paper
An intuitionistic set-theoretical model of fully dependent CC Mathematical Structures in Computer Science	2023-07-13	Paper
Proving tree algorithms for succinct data structures (available as arXiv preprint)	2023-02-03	Paper
A trustful monad for axiomatic reasoning with probability and nondeterminism Journal of Functional Programming	2021-09-24	Paper
Formal adventures in convex and conical spaces (available as arXiv preprint)	2021-01-20	Paper
A library for formalization of linear error-correcting codes Journal of Automated Reasoning	2020-11-02	Paper
On the runtime complexity of type-directed unboxing Proceedings of the third ACM SIGPLAN international conference on Functional programming	2019-09-26	Paper
On the runtime complexity of type-directed unboxing Proceedings of the third ACM SIGPLAN international conference on Functional programming	2017-08-21	Paper
The transformation calculus Lecture Notes in Computer Science	2017-01-19	Paper
A certified implementation of ML with structural polymorphism and recursive types Mathematical Structures in Computer Science	2016-07-27	Paper
Formalization of Error-Correcting Codes: From Hamming to Modern Coding Theory Interactive Theorem Proving	2015-09-14	Paper
Recursive modules for programming Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming	2015-08-03	Paper
Ambivalent types for principal type inference with GADTs Programming Languages and Systems	2015-01-12	Paper
Path resolution for nested recursive modules Higher-Order and Symbolic Computation	2013-01-08	Paper
Private Row Types: Abstracting the Unnamed Programming Languages and Systems	2008-05-06	Paper
Functional and Logic Programming Lecture Notes in Computer Science	2007-09-25	Paper
Semi-explicit first-class polymorphism for ML. Information and Computation	2003-01-14	Paper
scientific article; zbMATH DE number 1398007 (Why is no real title available?)	2000-02-03	Paper
scientific article; zbMATH DE number 1354150 (Why is no real title available?)	1999-10-31	Paper
scientific article; zbMATH DE number 1088034 (Why is no real title available?)	1997-11-17	Paper
Label-selective -calculus syntax and confluence Theoretical Computer Science	1997-02-27	Paper

Research outcomes over time

This page was built for person: Jacques Garrigue