Teaching Formal Methods and Discrete Mathematics. - Mathieu Jaume; Théo Laurent (F-IDE, 2014)

Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract). - Guglielmo Fachini; Catalin Hritcu; Marco Stronati; Ana Nora Evans; Théo Laurent; Arthur Azevedo de Amorim; Benjamin C. Pierce; Andrew Tolmach (CoRR, 2017)

When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise. - Carmine Abate; Arthur Azevedo de Amorim; Roberto Blanco; Ana Nora Evans; Guglielmo Fachini; Catalin Hritcu; Théo Laurent; Benjamin C. Pierce; Marco Stronati; Andrew Tolmach (CCS, 2018)

Definitional Functoriality for Dependent (Sub)Types. - Théo Laurent; Meven Lennon-Bertrand; Kenji Maillard (ESOP (1), 2024)

Artifact Description - Definitional Functoriality for Dependent (Sub)Types. - Théo Laurent; Meven Lennon-Bertrand; Kenji Maillard (ESOP (1), 2024)