Refunctionalization at Work

Authors

  • Olivier Danvy
  • Kevin Millikin

DOI:

https://doi.org/10.7146/brics.v15i4.21939

Abstract

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.

Downloads

Published

2008-06-12

How to Cite

Danvy, O., & Millikin, K. (2008). Refunctionalization at Work. BRICS Report Series, 15(4). https://doi.org/10.7146/brics.v15i4.21939