429 search results - page 1 / 86 » Polymorphic typed defunctionalization |
LISP
2006
13 years 11 months ago
2006
Abstract. Defunctionalization is a program transformation that eliminates functions as first-class values. We show that defunctionalization can be viewed as a type-preserving trans...
POPL
2004
ACM
14 years 11 months ago
2004
ACM
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-cla...
CORR
2009
Springer
13 years 9 months ago
2009
Springer
ENTCS
2002
13 years 11 months ago
2002
We define a notion of type assignment with polymorphic intersection types of rank 2 for a term graph rewriting language that expresses sharing and cycles. We show that type assign...
CASC
2010
Springer
13 years 10 months ago
2010
Springer
Computer algebra in scientific computation squarely faces the dilemma of natural mathematical expression versus efficiency. While higher-order programming constructs and parametri...