Refunctionalization at Work

Olivier Danvy
Kevin Millikin

March 2007

Abstract:

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.