14 citations · 27 across the 4 of their papers we have counts for
1 paper · 1 filter
Rodolphe Lepigre
We present the PML 2 language, which provides a uniform environment for programming, and for proving properties of programs in an ML-like setting. The language is Curry-style and c…