Hello, I'd like to change my topic for December 16th from "compilation strategies" to Plotkin's "Call by Name, Call by Value, and the Calculus". http://homepages.inf.ed.ac.uk/gdp/publications/cbn_cbv_lambda.pdf -------------- next part -------------- HTML attachment scrubbed and removed