Refunctionalization at Work

Olivier Danvy
Kevin Millikin

March 2007


We 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

Available as PostScript, PDF, DVI.


Last modified: 2007-03-27 by webmaster.