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 | |
Nuprl-Light| Jason Hickey, September, 1996 | |
Formal Module Systems and Nuprl-Light: A Programmer's Perspective
| Jason Hickey, February 13, 1996 | |