PhD Position F/M [Campagne CORDI-S] – Formalizing and improving OCaml modules

Still, syntactic and semantics approaches are complementary, and type soundness could also be proved by semantic means, as done for instance for the dot…