Eta-expansion does the trick Export

@article{citeulike:4874, abstract = {Partial-evaluation folklore has it that massaging one's source programs can make them specialize better. In Jones, Gomard, and Sestoft's recent textbook, a whole chapter is dedicated to listing such \"binding-time improvements\": nonstandard use of continuationpassing style, eta-expansion, and a popular transformation called \"The Trick\". We provide a unified view of these binding-time improvements, from a typing perspective.}, author = {Danvy, Olivier and Malmkj\aer, Karoline and Palsberg, Jens}, citeulike-article-id = {4874}, citeulike-linkout-0 = {http://citeseer.ist.psu.edu/danvy96etaexpansion.html}, citeulike-linkout-1 = {http://citeseer.lcs.mit.edu/danvy96etaexpansion.html}, citeulike-linkout-2 = {http://citeseer.ifi.unizh.ch/danvy96etaexpansion.html}, citeulike-linkout-3 = {http://citeseer.comp.nus.edu.sg/danvy96etaexpansion.html}, journal = {ACM Transactions on Programming Languages and Systems}, keywords = {partial-evaluation}, number = {6}, pages = {730--751}, posted-at = {2004-12-25 10:10:16}, title = {Eta-expansion does the trick}, url = {http://citeseer.ist.psu.edu/danvy96etaexpansion.html}, volume = {18}, year = {1996} }

TY - JOUR ID - citeulike:4874 L3 - citeulike-article-id:4874 N2 - Partial-evaluation folklore has it that massaging one's source programs can make them specialize better. In Jones, Gomard, and Sestoft's recent textbook, a whole chapter is dedicated to listing such "binding-time improvements": nonstandard use of continuationpassing style, eta-expansion, and a popular transformation called "The Trick". We provide a unified view of these binding-time improvements, from a typing perspective. IS - 6 JF - ACM Transactions on Programming Languages and Systems EP - 751 TI - Eta-expansion does the trick VL - 18 SP - 730 KW - partial-evaluation AU - Danvy, Olivier AU - Malmkj\aer, Karoline AU - Palsberg, Jens PY - 1996/// UR - http://citeseer.ist.psu.edu/danvy96etaexpansion.html ER -