The "Interface" Version of Nuprl

by Stuart F. Allen, Richard Eaton
1994-1995

Stuart and Rich will describe the structure of the soon-to-be-released version of the Nuprl system which allows other processes to communicate with Nuprl processes, giving them access to the Library and Refiner. It will then be possible for users to use their preferred front ends. The new facility will also make it possible to use the new SML refiner which is being developed.

The "Interface" Version of Nuprl

by Stuart F. Allen, Richard Eaton 1994-1995

by Stuart F. Allen, Richard Eaton
1994-1995