The purpose of this server (besides providing access to part of the world-wide web) is to demonstrate some of the capabilities of Standard ML, a modern programming language that provides many advanced features, including static type-checking (with polymorphic types), automatic garbage collection, higher-order functions, parameterized modules, and a formally-specified semantics. By building systems in this language, the Project learns more about the design of modern programming languages, while at the same time discovering new structuring principles for high-performance systems.
Run-time statistics on the FoxNet Web Server
Information about the Fox Project
Research papers and reports
People Involved with the Fox Project
Information about Standard ML
Peter.Lee@cs.cmu.edu (last updated July 31, 1995)