Refunctionalization at Work
AbstractWe present the left inverse of Reynolds's defunctionalization and we show its relevance to programming and to programming languages. We present two methods to put a program that is almost in defunctionalized form into one that is actually in defunctionalized form, and we illustrate them with a recognizer for Dyck words and with Dijkstra's shunting-yard algorithm.
How to Cite
Danvy, O., & Millikin, K. (2007). Refunctionalization at Work. BRICS Report Series, 14(7). https://doi.org/10.7146/brics.v14i7.21930
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.