From inheritance to Quest's type theory (1991)

by G Castagna, G Longo
Venue:In Ecole Jeunes Chercheurs du GRECO de Programmation, Sophia-Antipolis