Yann Régis-Gianas

Available identifiers

zbMath Open regis-gianas.yannMaRDI QIDQ703497

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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