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