A Calculus for Overload Functions with Subtyping (1992)

by G. Castagna , G. Ghelli , G. Longo
Venue:
Citations:141 - 28 self