research
∙
01/10/2019
PML 2 : Integrated Program Verification in ML
We present the PML 2 language, which provides a uniform environment for ...
research
∙
11/06/2018
Unboxing Mutually Recursive Type Definitions in OCaml
In modern OCaml, single-argument datatype declarations (variants with a ...
research
∙
07/05/2018