Sciweavers

Share
1130 search results - page 1 / 226
» Type-Directed Partial Evaluation
Sort
View
DAGSTUHL
1996
9 years 1 months ago
Pragmatics of Type-Directed Partial Evaluation
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...
Olivier Danvy
PEPM
1998
ACM
9 years 4 months ago
Type-Directed Partial Evaluation
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...
Olivier Danvy
books