Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits von Charguéraud, Arthur, Pottier, François

Volltext

Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library von de Vilhena, Paulo Emílio, Pottier, François

Volltext

Type Inference Logics von Carnier, Denis, Pottier, François, Keuchel, Steven

Volltext

Visitors unchained von Pottier, François

Volltext

Syntactic soundness proof of a type-and-capability system with hidden state von POTTIER, FRANÇOIS

Volltext

A High-Level Separation Logic for Heap Space under Garbage Collection von Moine, Alexandre, Charguéraud, Arthur, Pottier, François

Volltext

The Design and Formalization of Mezzo, a Permission-Based Programming Language von Balabonski, Thibaut, Pottier, François, Protzenko, Jonathan

Volltext

A separation logic for heap space under garbage collection von Madiot, Jean-Marie, Pottier, François

Volltext

A Simple, Possibly Correct LR Parser for C11 von Jourdan, Jacques-Henri, Pottier, François

Volltext

Thunks and Debits in Separation Logic with Time Credits von Pottier, François, Guéneau, Armaël, Jourdan, Jacques-Henri, Mével, Glen

Volltext

A separation logic for effect handlers von de Vilhena, Paulo Emílio, Pottier, François

Volltext

Information flow inference for ML von Pottier, François, Simonet, Vincent

Volltext

Spy game: verifying a local generic solver in Iris von de Vilhena, Paulo Emílio, Pottier, François, Jourdan, Jacques-Henri

Volltext

Cosmo: a concurrent separation logic for multicore OCaml von Mével, Glen, Jourdan, Jacques-Henri, Pottier, François

Volltext

A constraint-based approach to guarded algebraic data types von SIMONET, Vincent, POTTIER, Francois

Volltext

Machine-Checked Verification of the Correctness and Amortized Complexity of an Efficient Union-Find Implementation von Charguéraud, Arthur, Pottier, François

Volltext

A unified treatment of syntax with binders von POUILLARD, NICOLAS, POTTIER, FRANÇOIS

Volltext

Hiding Local State in Direct Style: A Higher-Order Anti-Frame Rule von Pottier, F.

Volltext

Static Name Control for FreshML von Pottier, F.

Volltext

Type Soundness and Race Freedom for Mezzo von Balabonski, Thibaut, Pottier, François, Protzenko, Jonathan

Volltext