14

Chapitre 2 Synthèse de type dans le langage ML