The _(Fox | http://foxnet.cs.cmu.edu/HomePage.html) project from CMU to write an *(OS) using (an extension to) the programming language Standard _(ML).
