A principled approach to operating system construction in Haskell.

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

Published in: ICFP (2005)

Keyphrases

operating system
computer systems
virtual machine
microsoft windows
functional programming
programming language
distributed systems
memory management
application programs
windows xp
application level
multi threaded
windows nt
address space