57 search results - page 1 / 12 » Online Type-Directed Partial Evaluation |
85
Voted
FLOPS
1998
Springer
15 years 5 months ago
1998
Springer
119
Voted
DAGSTUHL
1996
15 years 2 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...
124
Voted
PEPM
1998
ACM
15 years 5 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...
90
Voted
PPDP
1999
Springer
15 years 5 months ago
1999
Springer
103
Voted
TIC
1998
Springer
15 years 5 months ago
1998
Springer
