Jacques Garrigue

Available identifiers

Publication	Date of Publication	Type
An intuitionistic set-theoretical model of fully dependent CC	2023-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q5875410	2023-02-03	Paper
A trustful monad for axiomatic reasoning with probability and nondeterminism	2021-09-24	Paper
Formal adventures in convex and conical spaces	2021-01-20	Paper
A library for formalization of linear error-correcting codes	2020-11-02	Paper
On the runtime complexity of type-directed unboxing	2019-09-26	Paper
On the runtime complexity of type-directed unboxing	2017-08-21	Paper
The transformation calculus	2017-01-19	Paper
A certified implementation of ML with structural polymorphism and recursive types	2016-07-27	Paper
Formalization of Error-Correcting Codes: From Hamming to Modern Coding Theory	2015-09-14	Paper
Recursive modules for programming	2015-08-03	Paper
Ambivalent types for principal type inference with GADTs	2015-01-12	Paper
Path resolution for nested recursive modules	2013-01-08	Paper
Private Row Types: Abstracting the Unnamed	2008-05-06	Paper
Functional and Logic Programming	2007-09-25	Paper
Semi-explicit first-class polymorphism for ML.	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4937119	2000-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q4268465	1999-10-31	Paper
https://portal.mardi4nfdi.de/entity/Q4364382	1997-11-17	Paper
Label-selective \(\lambda\)-calculus syntax and confluence	1997-02-27	Paper

This page was built for person: Jacques Garrigue