Remy Seassau

1
Document
Affiliation actuelle
  • Langages de programmation : systèmes de types, concurrence, preuve de programme (CAMBIUM)
Identifiants chercheurs

Publications

Publications

Image document

Formal Semantics and Program Logics for a Fragment of OCaml

Remy Seassau , Irene Yoon , Jean-Marie Madiot , François Pottier
Proceedings of the ACM on Programming Languages, 2025, 9 (ICFP), pp.128 - 159. ⟨10.1145/3747509⟩
Article dans une revue hal-05423292 v1