The status of the Meta-PRL Project
Aleksey Nogin, October 4, 1999
The Current Projects of the MetaPRL Group
Aleksey Nogin and Jason Hickey, April 26, 1999
Speeding Up the Meta-PRL Refiner
Aleksey Nogin, February 8, 1999
Logical Programming Environments
Jason Hickey, March 3, 1998
Jason Hickey, September, 1996
Formal Module Systems and Nuprl-Light: A Programmer's Perspective
Jason Hickey, February 13, 1996