Chronological Index:
|
The
MathBus Term Structure
| Richard Zippel | |
KML
| Karl Crary, April 30, 1996 | |
Some Recent Results of R. Dyckhoff and A. Pitts
| Todd Wilson, March 26, 1996 | |
Formal
Module Systems and Nuprl-Light: A Programmer's Perspective
| Jason Hickey,
February 13, 1996 | |
Project Direction and Research Problems
| Robert L. Constable, February 6, 1996 | |
Operational Modal Logic
| Sergei Artemov, Visitor from Moscow State University and the
Steklov Institute, January 29, 1996 | |
Formal Domain Theory
| Neal Glew, December 5, 1995 | |
Verifying HORUS in Nuprl
| Jason Hickey, November 28,1995 | |
New Nuprl Editor
| Stuart Allen, November 7, 1995 | |
Formal Abstract Data Types and Inheritance
| Jason Hickey, October 31, 1995 | |
GOLEM
| Ettore Remidde, Visitor from the Department of Physics, University of Bologna, Italy, October 24, 1995 | |
Formal
Modules (Abstract Data Types) and Object Oriented Programming
| Jason
Hickey, October 1995 | |
Design and Implemention of the Library
Component of Nuprl 5
| Rich Eaton, October 3, 1995 | |
Design of the Nuprl Refiner
| Roderick Moten, September 26, 1995 | |
| Overview of Nuprl 5 |
| Stuart Allen, September 19, 1995 |