Skip to main content
PRL Project

Design and Implemention of the Library Component of Nuprl 5

by Richard Eaton

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.