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
73 Building reliable, high-performance communication systems from components – Xiaoming Liu, Christoph Kreitz, Robbert van Renesse, Jason Hickey, Mark Hayden , Kenneth Birman, Robert Constable - 1999
895 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
264 Constructive mathematics and computer programming – P Martin-Lof - 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
473 The Calculus of Constructions – T Coquand, G Huet - 1988
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
56 A Non-Type-Theoretic Semantics for Type-Theoretic Language – S Allen - 1987
19 Dependent Intersection: A New Way of Defining Records in Type Theory – Alexei Kopylov
101 Proofs as programs – J L Bates, Robert L Constable - 1985
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
159 Simple Type-Theoretic Foundations for Object-Oriented Programming – Benjamin C. Pierce, David N. Turner - 1993
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998