A Calculus for Overload Functions with Subtyping (1992)

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

Active Bibliography

A Semantics for Stratified λ&-early – G. Castagna, G. Ghelli, G. Longo - 1994
26 A Theory of Primitive Objects – Martín Abadi, Luca Cardelli - 1994
37 Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1996
2 Integration of Parametric and "ad Hoc" Second Order Polymorphism in a Calculus With Subtyping – Giuseppe Castagna - 1995
1 Developments in Object-Oriented Type Systems – Michael I. Schwartzbach, C Fl Michael I. Schwartzbach - 1994
A Semantics for a Stratified λ&-Early: A Calculus with Overloading and Early Binding – Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo - 1993
32 Polarized Higher-Order Subtyping – Martin Steffen - 1997
6 Subject reduction and minimal types for higher order subtyping – Adriana Compagnoni - 1997
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
10 Parametric and Type-Dependent Polymorphism – Giuseppe Longo - 1995
12 Multiple Inheritance via Intersection Types – Adriana B. Compagnoni, Benjamin C. Pierce - 1993
17 Higher-Order Intersection Types and Multiple Inheritance – Adriana B. Compagnoni, Benjamin C. Pierce - 1995
45 On subtyping and matching – Luca Cardelli - 1995
4 Anti-Symmetry of Higher-Order Subtyping – Adriana Compagnoni, Healfdene Goguen - 1999
6 Subtyping Recursive Types in Kernel Fun – Dario Colazzo, Giorgio Ghelli - 1999
Subtyping Parametric and Dependent Types -- An introduction – Gang Chen, Giuseppe Longo - 1996
1 Subtyping Parametric and Dependent Types – Gang Chen, Giuseppe Longo - 1996
14 A Logic of Subtyping – Giuseppe Longo, Kathleen Milsted, Sergei Soloviev - 1996
10 Coherence and Transitivity of Subtyping as Entailment – Giuseppe Longo, Kathleen Milsted, Sergei SOLOVIEV - 1996