Towards Formal Semantics and Reasoning for OCaml

Rémy Seassau

2025-11-27 10:30:00, #SéminaireLocal
Salle B107, bâtiment B, Université de Villetaneuse