Parameter-Passing and the Lambda Calculus.

Erik Crank, Matthias Felleisen

Browse the full POPL paper archive.