Stem defunction$ (all stems)

8 papers:

VLDB-2013-GrustSU #sql

Functions Are Data Too (Defunctionalization for PL/SQL) (TG, NS, AU), pp. 1214–1217.

TLCA-2013-Schopp #continuation #interactive #on the

On Interaction, Continuations and Defunctionalization (US), pp. 205–220.

FLOPS-2010-DanvyMMZ #call-by #evaluation

Defunctionalized Interpreters for Call-by-Need Evaluation (OD, KM, JM, IZ), pp. 240–256.

ICFP-2008-Danvy #programming language

Defunctionalized interpreters for programming languages (OD), pp. 131–142.

POPL-2004-PottierG #polymorphism

Polymorphic typed defunctionalization (FP, NG), pp. 89–98.

LOPSTR-2003-BiernackiD #interpreter #logic

From Interpreter to Logic Engine by Defunctionalization (DB, OD), pp. 143–159.

PPDP-2001-DanvyN

Defunctionalization at Work (OD, LRN), pp. 162–174.

ICFP-1997-BellBH

Type-Driven Defunctionalization (JMB, FB, JH), pp. 25–37.