Polymorphic Typed Defunctionalization (2004)
by
Francois Pottier
,
Nadji Gauthier
| Venue: | In ACM Symposium on Principles of Programming Languages (POPL |
| Citations: | 15 - 4 self |
BibTeX
@INPROCEEDINGS{Pottier04polymorphictyped,
author = {Francois Pottier and Nadji Gauthier},
title = {Polymorphic Typed Defunctionalization},
booktitle = {In ACM Symposium on Principles of Programming Languages (POPL},
year = {2004},
pages = {89--98},
publisher = {ACM Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Defunctionalization is a program transformation that aims to turn a higher-order functional program into a first-order one, that is, to eliminate the use of functions as first-class values. Its purpose is thus identical to that of closure conversion. It di#ers from closure conversion, however, by storing a tag, instead of a code pointer, within every closure. Defunctionalization has been used both as a reasoning tool and as a compilation technique.
