Searchalot
 

Internet Directory - Top : Computers : Programming : Languages : ML : Operating Systems

Top : Computers : Programming : Languages : ML : Operating Systems (8 web sites)
 Related Categories
Computers: Programming: Compilers: Functional
Computers: Programming: Languages: Functional
Computers: Programming: Languages: Compiled: Functional
Computers: Software: Operating_Systems: Functional
Computers: Programming: Languages: Garbage_Collected
Computers: Programming: Languages: Language_OS_Hybrids
Computers: Software: Operating_Systems: Open_Source
 Related Web Pages

Fox Project
OS based on ML language. Goals: advance art of programming language design and implementation, while applying principles of programming languages to advance art of systems building. Project work: theoretical studies of languages and their traits, developing new compiler and run-time technology, empirical studies of applying advanced language techniques to real-world programming problems, more so in areas of high-performance networks and OSs.
http://www.cs.cmu.edu/~fox/