A principled approach to operating system construction in Haskell (2005)

by Thomas Hallgren, Mark P Jones, Rebekah Leslie, Andrew Tolmach
Venue:In ICFP ’05: Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming