Operating system construction in Haskell.

Rebekah Leslie, Mark P. Jones

Browse the full SOSP paper archive.