Remy Seassau
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⟩
Article dans une revue
hal-05423292
v1
|
Chargement...
Chargement...