A Calculus for Overload Functions with Subtyping (1992)

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