The Computers: Programming: Languages: ML: (Operating Systems ML )

This section 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. Operating Systems ML Languages Programming Computers.

An operating system ( OS ) is system software that manages computer hardware and software resources and provides common services for computer programs. (wikipedia)