Topia!: Computers: Programming: Languages: ML: ML OSs (3) See Also: Computers: Programming: Languages: Functional Computers: Programming: Languages: Garbage Collected Computers: Programming: Languages: Language-OS Hybrids Computers: Software: Operating Systems: Open Source Olin Shivers - Ran Express project at MIT AI Lab, now with College of Computing, Georgia Institute of Technology. Contact information, papers, writings, humor, coffee advice, links. Express project - ML/OS Goals: Explore interaction between advanced programming languages, operating systems, compilers. Develop software technology to make advanced languages practical, useful tools for systems programming. Fox Project - OS based on ML language. Goal: Advance the art of programming language design and implementation, while applying principles of programming languages to advance the 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. Additional categories: Relic mobile Caesars trek bicycles folding metal shopping cart

ML OSs