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

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