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

by T Hallgren, M P Jones, R Leslie, A Tolmach
Venue:In ICFP ’05: Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming