Théo Laurent

According to our database, Théo Laurent authored at least 6 papers between 2014 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Structural Subtyping in MLTT. (Sous-typage structurel en théorie des types à la Martin-Löf).

Théo Laurent

PhD thesis, 2025

2024

Artifact Description - Definitional Functoriality for Dependent (Sub)Types.

Théo Laurent, Meven Lennon-Bertrand, Kenji Maillard

Proceedings of the Programming Languages and Systems, 2024

Definitional Functoriality for Dependent (Sub)Types.

Théo Laurent, Meven Lennon-Bertrand, Kenji Maillard

Proceedings of the Programming Languages and Systems, 2024

2018

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

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

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

2014

Teaching Formal Methods and Discrete Mathematics.

Mathieu Jaume, Théo Laurent

Proceedings of the Proceedings 1st Workshop on Formal Integrated Development Environment, 2014