4 sites in Operating Systems
Desert Spring-Time
Save
O’Caml OS; tasks (processes) run in isolation at pure software level; interprocess communication uses special efficient form of marshalling: it raises exceptions when trying to pass a value containing (or is) a closure. Description only.
http://www.purevoid.org/
Fox Project
Save
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/
Forum - Usenet comp.lang.functional
Forum - Usenet comp.lang.ml
Forum - Usenet comp.os.misc
Forum - Usenet comp.os.research
See also