Skip to content

An equivalence-preserving CPS translation via multi-language semantics.

Amal Ahmed, Matthias Blume

VenueAICFP
Year2011
ProceedingsICFP

Browse the full ICFP paper archive.