Strong typing in object-oriented paradigms. Technical Report 92-11, Laboratoire d'Informatique, Ecole Normale Sup'erieure (1992)

by G Castagna
Venue:In ACM Conference on Functional Programming and Computer Architecture