About A Principled Approach to Operating System Construction in Haskell
A Principled Approach to Operating System Construction in Haskell- Research paper on monadic interface to low-level hardware features that are useful basis for building operating systems in Haskell; has primitives to control memory management hardware, user-mode process execution, low-level device I/O. Abstract; PDF, PS.