1090 search results - page 1 / 218 » Type-Directed Partial Evaluation |
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...
PPDP
1999
Springer
13 years 8 months ago
1999
Springer
FLOPS
1998
Springer
13 years 8 months ago
1998
Springer
TIC
1998
Springer
13 years 8 months ago
1998
Springer
