A Principled Approach to Operating System Construction in Haskell (2005)

by T Hallgren, M P Jones, R Leslie, A Tolmach
Venue:in Proceedings of ICFP ’05