A Calculus for Overload Functions with Subtyping (1992)

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

Document Versions

A Calculus for Overload Functions with Subtyping –G. Castagna, G. Ghelli, G. Longo — 1992 —
A Calculus for Overloaded Functions with Subtyping (Extended Abstract) –Giuseppe Castagna , Giorgio Ghelli, Giuseppe Longo — 1995 — INFORMATION AND COMPUTATION
A Calculus for Overloaded Functions with Subtyping –Giuseppe Castagna , Giorgio Ghelli, Giuseppe Longo — 1995
A Calculus For Overloaded Functions With Subtyping –Giuseppe Castagna — 1995 — ACM Transactions on Programming Languages and Systems
A Calculus for Overloaded Functions with Subtyping –Giuseppe Castagna, Giorgia Ghelli, Giuseppe Longo — 1995
A Calculus for Overloaded Functions with Subtyping (Extended Abstract) –Giuseppe Castagna, Giorgio Ghelli, G. Longo — 1995 — Information and Computation