Remy Seassau
PhD Candidate at Inria Paris
1
Document
Affiliation actuelle
- Langages de programmation : systèmes de types, concurrence, preuve de programme (CAMBIUM)
Identifiants chercheurs
Publications
Publications
|
|
Formal Semantics and Program Logics for a Fragment of OCamlProceedings of the ACM on Programming Languages, 2025, 9 (ICFP), pp.128 - 159. ⟨10.1145/3747509⟩ |
Chargement...
Chargement...