Lecture 17 Summary, CSE 341 Spring 2004 Closure Conversion * Some terminology and motivation for language translation * The closure-conversion source-to-source translation * makes environments explicit and removes free variables from function bodies * a fine way to think about higher-order functions * translates functions to pairs (function-with-extra-argument and environment) * translates application in the "necessary" way * translates free-variable uses to environment-lookups * Some specifics for your homework * building and accessing minfun terms directly with abstract syntax * gensym * examples