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

896 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
767 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
485 A semantics of multiple inheritance – Luca Cardelli - 1988
310 Subtyping recursive types – Roberto M. Amadio, Luca Cardelli - 1993
314 System Description: Twelf --- A Meta-Logical Framework for Deductive Systems – Frank Pfenning, Carsten Schurmann - 1999
77 Monadic Presentations of Lambda Terms Using Generalized Inductive Types – Thorsten Altenkirch, Bernhard Reus - 1999
68 De Bruijn notation as a nested datatype – Richard S. Bird, Ross Paterson, Sir Arthur, Conan Doyle - 1999
1637 The Java™ Language Specification – J Gosling, B Joy, G Steele - 1996
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993