1090 search results - page 1 / 218 » Type-Directed Partial Evaluation |
103
Voted
DAGSTUHL
1996
15 years 29 days 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...
107
click to vote
PEPM
1998
ACM
15 years 3 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...
79
Voted
PPDP
1999
Springer
15 years 3 months ago
1999
Springer
FLOPS
1998
Springer
15 years 3 months ago
1998
Springer
TIC
1998
Springer
15 years 3 months ago
1998
Springer
