Skip to content

Functional derivation of a virtual machine for delimited continuations.

Kenichi Asai, Arisa Kitani

VenueCPPDP
Year2010
ProceedingsPPDP

Browse the full PPDP paper archive.