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

758 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
158 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 - 1985
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 Hill, P S Canning - 1990
486 A semantics of multiple inheritance – Luca Cardelli - 1988
285 Interpre'tation fonctionelle et e'limination des coupures duns l'arithme'tique d'ordre supe'rieure – J-Y Girard - 1972
364 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
117 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
17 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
85 Polymorphic Type Inference – D Leivant - 1983
1562 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990