Kenro: a virtual machine monitor mostly described in Haskell. - Yoshihiro Oyama; Yoshiki Kaneko; Hideya Iwasaki (SAC, 2009)