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

Documents Related by Co-Citation

895 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
308 Subtyping recursive types – Roberto M. Amadio, Luca Cardelli - 1993
20 Type inference in the presence of subtyping: from theory to practice – F Pottier - 1998
1616 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha
32 Polarized Higher-Order Subtyping – Martin Steffen - 1997
68 De Bruijn notation as a nested datatype – Richard S. Bird, Ross Paterson, Sir Arthur, Conan Doyle - 1999
77 Monadic Presentations of Lambda Terms Using Generalized Inductive Types – Thorsten Altenkirch, Bernhard Reus - 1999
61 Subtyping Constrained Types – Valery Trifonov, Scott Smith - 1996
11 Type Inference with Simple Selftypes is NP-complete – Jens Palsberg, Trevor Jim - 1997
43 Type inference with recursive types: Syntax and semantics – F Cardone, M Coppo - 1991
120 The Glasgow Haskell compiler: a technical overview – Simon L. Peyton Jones, Cordy Hall, Kevin Hammond, Jones Cordy, Hall Kevin, Will Partain, Phil Wadler - 1992
107 Sound Polymorphic Type Inference for Objects – Jonathan Eifrig, Scott Smith, Valery Trifonov - 1995
83 Type Inference for Recursively Constrained Types and its Application to OOP – Jonathan Eifrig, Scott Smith, Valery Trifonov - 1995
141 The principal type-scheme of an object in combinatory logic – R Hindley - 1969
55 Efficient Inference of Object Types – Jens Palsberg - 1995
55 Objective ML: An effective object-oriented extension to ML – Didier Rémy, Jérôme Vouillon - 1998
18 Modeling computations: a 2-categorical framework – R Seely - 1987
21 The groupoid interpretation of type theory. In Twenty-five years of constructive type theory – Martin Hofmann, Thomas Streicher - 1995
11 Weak ω-categories from intensional type theory – P L Lumsdaine - 2009