|
Operating systems based on ML, and for which this is the main rationale.
|
|
|
1. |
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.
|
|
|
2. |
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.
|
|
|
