Functional derivation of a virtual machine for delimited continuations. - Kenichi Asai; Arisa Kitani (PPDP, 2010)