François Pottier

Available identifiers

zbMath Open pottier.francoisMaRDI QIDQ670698

List of research outcomes

Publication	Date of Publication	Type
Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library	2024-01-16	Paper
Time credits and time receipts in Iris	2023-11-24	Paper
A type system for effect handlers and dynamic labels	2023-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q5875426	2023-02-03	Paper
A framework for type inference with subtyping	2019-09-26	Paper
A fistful of dollars: formalizing asymptotic complexity claims via deductive program verification	2019-09-13	Paper
Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits	2019-03-20	Paper
Stratified type inference for generalized algebraic data types	2017-08-21	Paper
A framework for type inference with subtyping	2017-08-21	Paper
Temporary Read-Only Permissions for Separation Logic	2017-05-19	Paper
Hindley-Milner elaboration in applicative style (functional pearl)	2016-09-29	Paper
Simplifying subtyping constraints	2016-09-01	Paper
Polymorphic typed defunctionalization	2015-11-11	Paper
Machine-Checked Verification of the Correctness and Amortized Complexity of an Efficient Union-Find Implementation	2015-09-14	Paper
Information flow inference for free	2015-09-11	Paper
Information flow inference for ML	2015-03-17	Paper
Functional translation of a calculus of capabilities	2015-03-16	Paper
Numbering matters	2015-03-09	Paper
A fresh look at programming with names and binders	2015-03-05	Paper
Type Soundness and Race Freedom for Mezzo	2014-07-24	Paper
A typed store-passing translation for general references	2014-04-10	Paper
Syntactic soundness proof of a type-and-capability system with hidden state	2013-03-28	Paper
A step-indexed Kripke model of hidden state	2013-03-14	Paper
A unified treatment of syntax with binders	2012-10-29	Paper
Validating LR(1) Parsers	2012-06-22	Paper
A Semantic Foundation for Hidden State	2010-04-27	Paper
A Hoare Logic for Call-by-Value Functional Programs	2008-08-28	Paper
Polymorphic typed defunctionalization and concretization	2006-11-17	Paper
Typed Lambda Calculi and Applications	2005-11-11	Paper
Producing all ideals of a forest, functionally	2004-03-29	Paper
Simplifying subtyping constraints: a theory	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q2763691	2002-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q2763675	2002-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q2729058	2001-11-04	Paper
A versatile constraint-based type inference system	2001-05-06	Paper

Research outcomes over time

This page was built for person: François Pottier