Derivation of a Virtual Machine For Four Variants of Delimited-Control Operators. - Maika Fujii; Kenichi Asai (FSCD, 2021)