Browse thread
[Caml-list] Recursive types and functors.
-
David Brown
-
Jean-Christophe Filliatre
- David Brown
- Claude Marche
-
Jean-Christophe Filliatre