Sciweavers

Share
2 search results - page 1 / 1
» Strong Normalization by Type-Directed Partial Evaluation and...
Sort
View
PEPM
1998
ACM
10 years 3 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