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

Deposit thumbnail

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-05423292v1