Yoshihiro Oyama Yoshiki Kaneko Hideya Iwasaki Kenro: a virtual machine monitor mostly described in Haskell. 1940-1941 2009 SAC http://doi.acm.org/10.1145/1529282.1529714 conf/sac/2009 db/conf/sac/sac2009.html#OyamaKI09