Yann Régis-Gianas

Available identifiers

Publication	Date of Publication	Type
Incremental \(\lambda \)-calculus in cache-transfer style. Static memoization by program transformation	2023-11-24	Paper
Modular verification of programs with effects and effect handlers in Coq	2021-05-04	Paper
Modular verification of programs with effects and effects handlers	2021-03-04	Paper
Stratified type inference for generalized algebraic data types	2017-08-21	Paper
A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences	2016-01-08	Paper
Certified Complexity (CerCo)	2016-01-07	Paper
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems	2013-08-09	Paper
Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful Computation	2013-08-07	Paper
Certifying and Reasoning on Cost Annotations of Functional Programs	2012-11-02	Paper
A Hoare Logic for Call-by-Value Functional Programs	2008-08-28	Paper
Introducing VAUCANSON	2005-01-11	Paper

This page was built for person: Yann Régis-Gianas