Constructor subtyping (1999)

by Gilles Barthe , Maria Joao Frade
Citations:7 - 3 self

Active Bibliography

1 Higher-order subtyping and its decidability – Adriana Compagnoni
6 Constructor subtyping in the Calculus of Inductive Constructions – Gilles Barthe, Femke Van Raamsdonk - 2000
Information and Computation 168(1):1-67, (2001) Dependent types with subtyping – Gang Chen - 1998
1 Decidability of Higher-Order Subtyping via Logical Relations – Adriana Compagnoni, Healfdene Goguen - 1997
4 Anti-Symmetry of Higher-Order Subtyping – Adriana Compagnoni, Healfdene Goguen - 1999
Subtyping Parametric and Dependent Types -- An introduction – Gang Chen, Giuseppe Longo - 1996
1 Subtyping Parametric and Dependent Types – Gang Chen, Giuseppe Longo - 1996
1 Developments in Object-Oriented Type Systems – Michael I. Schwartzbach, C Fl Michael I. Schwartzbach - 1994
7 Type System of an Object-Oriented Database Programming Language (Extended Abstract) – Y. Leontiev, M. Tamer Özsu, Duane Szafron, M. Tamer, Ozsu Duane Szafron - 1999
32 Polarized Higher-Order Subtyping – Martin Steffen - 1997
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
1 Class-Based and Algebraic Models of Objects – Gary T. Leavens, Don Pigozzi - 1998
8 Reconciling Software Extensibility with Modular Program Reasoning – Todd David Millstein - 2003
105 Typechecking and Modules for Multi-Methods – Craig Chambers, Gary T. Leavens - 1995
1 Instance Variables Specialization in Object-Oriented Programming – Giuseppe Castagna - 1996
Adaptation in HOT Languages Comparing Polymorphism, Modules, and Objects – David Macqueen Bell - 2000
Types in Programming Languages – Carlos Camarão, Lucília Figueiredo, Elaine Pimentel
The Definition of the NSP Type System – Dirk Draheim, Elfriede Fehr, Gerald Weber - 2002
1 Typed Concurrent Programming with Logic Variables – Martin Müller, Joachim Niehren, Gert Smolka - 1997