A Calculus for Overloaded Functions with Subtyping (1992)

by G Castagna, G Ghelli, G Longo
Venue:In Lisp and Functional Programming