Pragmatics of Type-Directed Partial Evaluation

Olivier Danvy. Pragmatics of Type-Directed Partial Evaluation. In Olivier Danvy, Robert Glück, Peter Thiemann, editors, Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers. Volume 1110 of Lecture Notes in Computer Science, pages 73-94, Springer, Dagstuhl Castle, Germany, 1996.

Abstract

Abstract is missing.