1.13 Bibliographie
R. Milner. ``A theory of type polymorphism in programming''. J. Comput. Syst. Sci. 1978.
Michel Mauny. `` Spécification CAML d'un sous-ensemble de CAML''
Notes de cours - DEA Informatique Fondamentale - 1989
