A calculus for overloaded functions with subtyping (1995)

by G Castagna, G Ghelli, G Longo
Venue:the 1992 ACM Conference on LISP and Functional Programming