Memoization in Type-Directed Partial Evaluation

  title={Memoization in Type-Directed Partial Evaluation},
  author={Vincent Balat and Olivier Danvy},
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 identity function at some complicated type. A typed functional language such as ML provides a natural support to express the functions and type-directed partial evaluation provides a convenient setting to obtain the normal form of their composition. However, off-the-shelf type-directed partial evaluation turns out to yield… CONTINUE READING
Highly Cited
This paper has 39 citations. REVIEW CITATIONS