Refunctionalization at Work

Olivier Danvy
Kevin Millikin

June 2008


We present the left inverse of Reynolds's defunctionalization and we show its relevance to programming and to programming languages. We propose two methods to transform 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

Available as PostScript, PDF.


Last modified: 2008-06-27 by webmaster.