NuPRL’s class theory and its applications (2000)

by Robert L. Constable , Jason Hickey
Venue:Foundations of Secure Computation, NATO ASI Series, Series F: Computer & System Sciences
Citations:15 - 7 self

Active Bibliography

Naïve Type Theory – Robert L. Constable - 2002
5 Naïve computational type theory – Robert L. Constable - 2002
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
17 Higher-Order Intersection Types and Multiple Inheritance – Adriana B. Compagnoni, Benjamin C. Pierce - 1995
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
37 Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1996
45 On subtyping and matching – Luca Cardelli - 1995
1 Higher-order subtyping and its decidability – Adriana Compagnoni
6 Subject reduction and minimal types for higher order subtyping – Adriana Compagnoni - 1997
2 System F with Width-subtyping and Record Updating – Erik Poll - 1997
8 MetaPRL - A Modular Logical Environment – Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir N. Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, Xin Yu - 2003
4 Anti-Symmetry of Higher-Order Subtyping – Adriana Compagnoni, Healfdene Goguen - 1999
9 The structure of nuprl’s type theory – Robert L. Constable - 1997
10 A logic of events – Mark Bickford, Robert L. Constable - 2003
5 Programming Language Semantics in Foundational Type Theory – K. Crary - 1996
19 Dependent Intersection: A New Way of Defining Records in Type Theory – Alexei Kopylov
12 Nuprl-Light: An implementation framework for higher-order logics – Jason J. Hickey - 1997
118 A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics – Kim B. Bruce - 1993
26 An imperative object calculus – Martín Abadi, Luca Cardelli - 1995