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.
Related categories 7
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.
Last update:April 15, 2007 at 10:22:45 UTC