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

Documents Related by Co-Citation

24 Extension of Martin-Löf's Type Theory with Record Types and Subtyping – Gustavo Betarte, Alvaro Tasistro - 1998
33 The MetaPRL Logical Programming Environment – J J Hickey - 2001
74 Building reliable, high-performance communication systems from components – Xiaoming Liu, Christoph Kreitz, Robbert van Renesse, Jason Hickey, Mark Hayden , Kenneth Birman, Robert Constable - 1999
892 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
269 Constructive mathematics and computer programming – P Martin-Löf - 1982
74 Implementing Mathematics with the Nuprl Development System – R L Constable - 1986
29 Formal Objects in Type Theory Using Very Dependent Types – Jason J. Hickey - 1996
474 The calculus of constructions – T Coquand, G Huet - 1988
267 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
55 A Non-Type-Theoretic Semantics for TypeTheoretic Language – S Allen - 1987
19 Dependent Intersection: A New Way of Defining Records in Type Theory – Alexei Kopylov
102 Proofs as Programs – J L Bates, R L Constable - 1982
32 A non-type-theoretic definition of Martin-Lof's types – S Allen - 1987
8 Predicate transformers for infinite-state automata in nuprl type theory – Mark Bickford, Jason Hickey - 1999
50 Programming With Intersection Types, Union Types, and Polymorphism – Benjamin C. Pierce - 1991
14 Types in logic, mathematics and programming – R L Constable - 1998
29 Semantic Foundations for Embedding HOL in Nuprl – Douglas J. Howe - 1996
158 Simple Type-Theoretic Foundations for Object-Oriented Programming – Benjamin C. Pierce, David N. Turner - 1993
13 Foundations for the Implementation of Higher-Order Subtyping – Karl Crary - 1997