Operating Systems

• Computers: Programming: Compilers: Functional  (0)
• Computers: Programming: Languages: Compiled: Functional  (0)
• Computers: Programming: Languages: Functional  (48)
• Computers: Programming: Languages: Language-OS Hybrids  (9)
• Computers: Software: Operating Systems: Functional  (2)

House - Haskell User's Operating System and Environment, demo of software, runs standalone; can be a platform to explore ideas in low- and system-level programming in high-level functional languages. Based on hOp Haskell, a variant of GHC 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.

Wikipedia: House Operating System - Encyclopedia article, with links to many related topics.