1090 search results - page 1 / 218 » Type-Directed Partial Evaluation |
DAGSTUHL
1996
14 years 10 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...
97
Voted
PEPM
1998
ACM
15 years 1 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...
PPDP
1999
Springer
15 years 1 months ago
1999
Springer
FLOPS
1998
Springer
15 years 1 months ago
1998
Springer
TIC
1998
Springer
15 years 1 months ago
1998
Springer
