Subtyping for Object Type Constructors (1999)

Cached

Download Links

by Dominic Duggan , Adriana Compagnoni
Venue:In FOOL 6. Foundations of Object-Oriented Languages
Citations:13 - 2 self

Active Bibliography

1 Higher-order subtyping and its decidability – Adriana Compagnoni
70 Subtyping Dependent Types – David Aspinall, Adriana Compagnoni - 2000
11 B.C.: On decidability of nominal subtyping with variance – Andrew J. Kennedy, Benjamin C. Pierce, Andrew J. Kennedy, Benjamin C. Pierce
6 Subject reduction and minimal types for higher order subtyping – Adriana Compagnoni - 1997
37 Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1996
4 Order-Sorted Inductive Types – Gilles Barthe - 1999
7 Type Destructors – Martin Hofmann, Benjamin C. Pierce - 1998
45 On subtyping and matching – Luca Cardelli - 1995
6 A flowbased approach for variant parametric types – Wei-ngan Chin, Florin Craciun, Siau-cheng Khoo, Corneliu Popeea - 2006
ii Acknowledgement – Der Ludwig Maximilian Universität München, Dulma Rodriguez, Aufgabensteller Prof, Martin Hofmann, Betreuer Dr. Andreas Abel
51 Positive Subtyping – Martin Hofmann, Benjamin Pierce - 1994
Pure Type Systems with Subtyping (Extended Abstract) – Jan Zwanenburg
5 Bounded Quantification with Bottom – Benjamin C. Pierce - 1997
119 Comparing object encodings – Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce - 2006
40 Decidability of Higher-Order Subtyping with Intersection Types – Adriana B. Compagnoni - 1994
17 Higher-Order Intersection Types and Multiple Inheritance – Adriana B. Compagnoni, Benjamin C. Pierce - 1995
254 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
Type Systems for Programming Languages – Steffen van Bakel - 2001
A Semantics for Stratified λ&-early – G. Castagna, G. Ghelli, G. Longo - 1994