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

• Type: Journal
• Year: 2006
• Where: LISP
• Authors: François Pottier, Nadji Gauthier
• Keywords: Defunctionalization, First-class Values, LISP 2006, Type-preserving Transformations