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

896 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
24 Extension of Martin-Löf's Type Theory with Record Types and Subtyping – Gustavo Betarte, Alvaro Tasistro - 1998
75 Building reliable, high-performance communication systems from components – Xiaoming Liu, Christoph Kreitz, Robbert van Renesse, Jason Hickey, Mark Hayden , Kenneth Birman, Robert Constable - 1999
269 Constructive mathematics and computer programming – P Martin-Löf - 1982
33 The MetaPRL Logical Programming Environment – J J Hickey - 2001
478 The calculus of constructions – G Huet Coquand - 1988
75 Implementing mathematics with the NuPrl development system – R Constable, S Allen, H Bromley, W Cleaveland, J Cremer, R Harper, D Howe, T Knoblock, N Mendler, P Panangaden, J Sasaki, S Smith - 1986
269 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
536 A Computational Logic – Robert S Boyer, J Strother Moore - 1979