11 search results - page 1 / 3 » A Type-directed, On-line, Partial Evaluator for a Polymorphi... |
ICCL
1998
IEEE
13 years 8 months ago
1998
IEEE
On-line partial evaluators are hardly ever selfapplicable, because the complexity of deciding whether to residualize terms causes combinatorial explosion when self-application is ...
PPDP
1999
Springer
13 years 8 months ago
1999
Springer
DAGSTUHL
1996
13 years 5 months ago
1996
Abstract. Type-directed partial evaluation stems from the residualization of arbitrary static values in dynamic contexts, given their type. Its algorithm coincides with the one for...
PEPM
1998
ACM
13 years 8 months ago
1998
ACM
Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...
PEPM
1997
ACM
13 years 8 months ago
1997
ACM
Recently, Olivier Danvy introduced a new, simple method for implementing powerful partial evaluators, namely typedirected partial evaluation 9 . He introduced a partial evaluator ...