Jason Hickey
The Current Projects of the MetaPRL Group
Alexey Nogin and Jason Hickey, April 26, 1999
On Modeling Ensemble
Robert Constable, Jason Hickey, October 27, 1998
Logical Programming Environments
Jason Hickey, March 3, 1998
Modules and Libraries
Jason Hickey, February 18, 1997
Nuprl Tutorial.
Jason Hickey, February 1997
Sharing Formal Mathematics and Programming.
Jason Hickey, February 1997
Object Foundations
Jason Hickey, November 1996
Nuprl Light.
Jason Hickey, September 1996
Formal Objects in Type Theory.
Jason Hickey, September 1996
Formal Module Systems and Nuprl-Light: A Programmer's Perspective.
Jason Hickey, February 1996
Formal Module Systems and Nuprl-Light: A Programmer's Perspective
Jason Hickey, February 13, 1996
Verifying HORUS in Nuprl
Jason Hickey, November 28,1995
Formal Abstract Data Types and Inheritance
Jason Hickey, October 31, 1995
Formal Modules (Abstract Data Types) and Object Oriented Programming.
Jason Hickey, October 1995
Square-Root Verification.
Jason Hickey, Mark Hayden, May 1995
Very Dependent Function Space
Jason Hickey, Fall, 1994
Very Dependent Types
Jason Hickey, November 8, 1994
The Ultimate Programming Machine
Jason Hickey, October 25, 1994
Formalizing the Theory Concept in Nuprl
Jason Hickey, March 1994
Formalizing the Theory Mechanism in NuPRL
Jason Hickey, March 15, 1994
Abstract Programming in Nuprl.
Jason Hickey, November 1993
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu