Typage polymorphe d'un langage algorithmique (1992)

by X Leroy