"Parameter-Passing and the Lambda Calculus."

Erik Crank, Matthias Felleisen (1991)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics