Type-Driven Defunctionalization

@inproceedings{Bell1997TypeDrivenD,
  title={Type-Driven Defunctionalization},
  author={Jeffrey M. Bell and Françoise Bellegarde and James Hook},
  booktitle={ICFP},
  year={1997}
}
In 1972, Reynolds outlined a general method for eliminating functional arguments known as defunctionalization. The idea underlying defunctionalization is encoding a functional value as first-order data, and then realizing the applications of the encoded function via an apply function. Although this process is simple enough, problems arise when defunctionalization is used in a polymorphic language. In such a language, a functional argument of a higher-order function can take different type… CONTINUE READING

Similar Papers

Loading similar papers…