Travelled to:
1 × Austria
Collaborated with:
K.Asai
Talks about:
function (1) virtual (1) delimit (1) continu (1) machin (1) deriv (1)
Person: Arisa Kitani
DBLP: Kitani:Arisa
Contributed to:
Wrote 1 papers:
- PPDP-2010-AsaiK #continuation #functional #virtual machine
- Functional derivation of a virtual machine for delimited continuations (KA, AK), pp. 87–98.