Kenro: a virtual machine monitor mostly described in Haskell.

Yoshihiro Oyama, Yoshiki Kaneko, Hideya Iwasaki

Browse the full SAC paper archive.