A Calculus for Overload Functions with Subtyping (1992)

by G. Castagna, G. Ghelli, G. Longo