57 search results - page 1 / 12 » Online Type-Directed Partial Evaluation |
FLOPS
1998
Springer
15 years 3 months ago
1998
Springer
103
Voted
DAGSTUHL
1996
15 years 28 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...
78
Voted
PPDP
1999
Springer
15 years 3 months ago
1999
Springer
TIC
1998
Springer
15 years 3 months ago
1998
Springer
