Directory of Operating Systems Resources

Home > Computers > Programming > Languages > ML > Operating Systems

This category holds links on operating systems (OSs) written in, and based on, the programming language ML and any dialects, and related topics, for which this is the main rationale.

Resources in This Category

• Fox Project

  http://www.cs.cmu.edu/~fox/
  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.

Related Categories

• Home > Computers > Programming > Compilers > Functional
• Home > Computers > Programming > Languages > Compiled > Functional
• Home > Computers > Programming > Languages > Functional
• Home > Computers > Programming > Languages > Garbage Collected
• Home > Computers > Programming > Languages > Language-OS Hybrids
• Home > Computers > Software > Operating Systems > Functional
• Home > Computers > Software > Operating Systems > Open Source

 

Home > Computers > Programming > Languages > ML > Operating Systems

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us