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
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
A framework for type inference with subtyping	2017-08-21	Paper
Stratified type inference for generalized algebraic data types	2017-08-21	Paper
Temporary Read-Only Permissions for Separation Logic	2017-05-19	Paper
Hindley-milner elaboration in applicative style	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
https://portal.mardi4nfdi.de/entity/Q2712585	2001-05-06	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: François Pottier