Directory of Operating Systems Resources

Home > Computers > Programming > Languages > Haskell > Operating Systems

This category holds links on operating systems (OSs) written in, and based on, the programming language Haskell, and related topics, for which this is the main rationale.

Resources in This Category

• A Principled Approach to Operating System Construction in Haskell

  http://ogi.altocumulus.org/~hallgren/ICFP2005/
  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.

• House

  http://programatica.cs.pdx.edu/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.

• Wikipedia: House Operating System

  http://en.wikipedia.org/wiki/House_(operating_system)
  Encyclopedia article, with links to many related topics.

Related Categories

• Home > Computers > Programming > Compilers > Functional
• Home > Computers > Programming > Languages > Compiled > Functional
• Home > Computers > Programming > Languages > Functional
• Home > Computers > Programming > Languages > Language-OS Hybrids
• Home > Computers > Software > Operating Systems > Functional

 

Home > Computers > Programming > Languages > Haskell > Operating Systems

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us