Derivation of a Virtual Machine For Four Variants of Delimited-Control Operators.

Maika Fujii, Kenichi Asai

Browse the full FSCD paper archive.