Strong typing in object-oriented paradigms. Rapport de Recherche LIENS-92-11, Ecole Normale Sup'erieure (1992)

by Giuseppe Castagna
Venue:In Fourth International Conference on Functional Programming Languages and Computer Architecture