From Call-by-Value to Interaction by Typed Closure Conversion.

Ulrich Schpp

Browse the full APLAS paper archive.