Typage polymorphe d'un langage algorithmique. (Polymorphic typing of an algorithmic language).

Xavier Leroy Typage polymorphe d'un langage algorithmique. (Polymorphic typing of an algorithmic language). 1992 Paris Diderot University, France https://tel.archives-ouvertes.fr/tel-01499951