Bounded Quantification is Undecidable (1993)

Cached

Download Links

by Benjamin C. Pierce
Venue:Information and Computation
Citations:102 - 9 self

Documents Related by Co-Citation

756 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
159 Simple Type-Theoretic Foundations for Object-Oriented Programming – Benjamin C. Pierce, David N. Turner - 1993
14 Divergence of F≤ Type Checking – Giorgio Ghelli
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
116 Inheritance As Implicit Coercion – Val Breazu-tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov - 1991
244 Inheritance is not subtyping – W R Cook, W L Hill, P S Canning - 1990
488 A semantics of multiple inheritance – Luca Cardelli - 1988
288 Interpretation Fonctionelle et Elimination des Coupures dans l'Arithmetique d'Ordre Superieure – J -Y Girard - 1972
363 Towards a theory of type structure – J C Reynolds - 1974
62 Per models of subtyping, recursive types and higher-order polymorphism – K B Bruce, J C Mitchell - 1992
31 Safe type checking in a statically typed object-oriented programming language – K B Bruce - 1993
87 A modest model of records, inheritance, and bounded quantification – Kim B Bruce, Giuseppe Longo
118 A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics – Kim B. Bruce - 1993
88 Toward A Typed Foundation for Method Specialization and Inheritance – J C Mitchell - 1990
18 Recursive types are not conservative over F – Ghe93 G Ghelli - 1993
37 Proof Theoretic Studies about a Minimal Type System Integrating Inclusion and Parametric Polymorphism – Giorgio Ghelli - 1990
9 Bounded quanti cation is undecidable – Benjamin Pierce - 1992
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
86 Polymorphic Type Inference – D Leivant - 1983