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

by T Hallgren, M P Jones, R Leslie, Tolmach
Venue:SIGPLAN Not