A principled approach to operating system construction in Haskell.

Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew P. Tolmach

Browse the full ICFP paper archive.