Defunctionalization at Work

Authors

  • Olivier Danvy
  • Lasse R. Nielsen

DOI:

https://doi.org/10.7146/brics.v8i23.21684

Abstract

We study practical applications of Reynolds's defunctionalization technique, which is a whole-program transformation from higher-order to first-order functional programs. This study leads us to discover new connections between seemingly unrelated higher-order and first-order specifications and their correctness proofs. We thus perceive defunctionalization both as a springboard and as a bridge: as a springboard for discovering new connections between the first-order world and the higher-order world; and as a bridge for transferring existing results between first-order and higher-order settings.

Downloads

Published

2001-06-04

How to Cite

Danvy, O., & Nielsen, L. R. (2001). Defunctionalization at Work. BRICS Report Series, 8(23). https://doi.org/10.7146/brics.v8i23.21684