Re: Conseils sur un bouquin plus théorique

Je l'ai, il est trés bien en effet, avec une bonne progression entre les chapitres. Il y a des implémentations en OCaml pour les systèmes de types présentés. Et si je me souviens bien il y a des exercices (corrigés à la fin pour certains).