Polymorphic typed defunctionalization and concretization

10 years 4 months ago
Polymorphic typed defunctionalization and concretization
Abstract. Defunctionalization is a program transformation that eliminates functions as first-class values. We show that defunctionalization can be viewed as a type-preserving transformation of an extension of System F with guarded algebraic data types into itself. We also suggest that defunctionalization is an instance of concretization, a more general technique that allows eliminating constructs other than functions. We illustrate this point by presenting two new type-preserving transformations that can be viewed as instances of concretization. One eliminates R
François Pottier, Nadji Gauthier
Added 14 Dec 2010
Updated 14 Dec 2010
Type Journal
Year 2006
Where LISP
Authors François Pottier, Nadji Gauthier
Comments (0)