3.13  Bibliographie

• R. Milner. ``A theory of type polymorphism in programming''. J. Comput. Syst. Sci. 1978.
• Jean-Jacques Lévy ``Langages de Programmation''
  Notes de cours - M2 (X)
  http://www.enseignement.polytechnique.fr/informatique/M2/lp/
  chapitres 3 et 4.