Design and Implemention of the Library Component of Nuprl 5

by Richard Eaton
1995-1996

I will talk about the design and implemention of the Library component of Nuprl5. Manipulation of library objects in Nuprl5 is done functionally with ML primitives. Modification of the library itself is accomplished with a small set of directives. Directives can be combined such that earlier modifications can be undone if a failure occurs. I will be concentrating on the directives and how they are implemented.

Design and Implemention of the Library Component of Nuprl 5

by Richard Eaton 1995-1996

by Richard Eaton
1995-1996