Parameter-Passing and the Lambda Calculus (1991)

by Erik Crank, Matthias Felleisen