Subtyping for Object Type Constructors (1999)

Cached

Download Links

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

Documents Related by Co-Citation

68 De Bruijn notation as a nested datatype – Richard S. Bird, Ross Paterson, Sir Arthur, Conan Doyle - 1999
32 Polarized Higher-Order Subtyping – Martin Steffen - 1997
77 Monadic Presentations of Lambda Terms Using Generalized Inductive Types – Thorsten Altenkirch, Bernhard Reus - 1999
895 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
308 Subtyping recursive types – Roberto M. Amadio, Luca Cardelli - 1993
18 Modeling computations: a 2-categorical framework – R Seely - 1987
9 The equivalence axiom and univalent models of type theory. Available from http://www.math.ias.edu/~vladimir/Site3/home_files/CMU_talk.pdf – V Voevodsky - 2010
22 Indexed Containers – Thorsten Altenkirch, Neil Ghani, Peter Hancock, Conor Mcbride, Peter Morris
21 The groupoid interpretation of type theory. In Twenty-five years of constructive type theory – Martin Hofmann, Thomas Streicher - 1995
47 A type-theoretic foundation for programming with higher-order abstract syntax and firstclass substitutions – B Pientka - 2008
20 Homotopy theoretic models of identity types – Steve Awodey, Michael A. Warren - 2008
17 A Universe of Binding and Computation – Daniel R. Licata, Robert Harper
11 The identity type weak factorisation system – Nicola Gambino, Richard Garner - 2008
11 Weak ω-categories from intensional type theory – P L Lumsdaine - 2009
11 TWO-DIMENSIONAL MODELS OF TYPE THEORY – Richard Garner - 2008
4 Types are weak ω-groupoids. Available from http://www.dpmms.cam.ac.uk/~rhgg2/Typesom/Typesom.html – B van den Berg, R Garner - 2010
27 Practical programming with higher-order encodings and dependent types – Adam Poswolsky, Carsten Schürmann - 2008
12 Miniagda: Integrating sized and dependent types – Andreas Abel - 2010
315 System Description: Twelf --- A Meta-Logical Framework for Deductive Systems – Frank Pfenning, Carsten Schurmann - 1999