A Type-directed, On-line, Partial Evaluator for a Polymorphic Language

Recently, Olivier Danvy introduced a new, simple method for implementing powerful partial evaluators, namely typedirected partial evaluation 9 . He introduced a partial evaluator for the simply-typed lambda calculus x2. This paper explores the possibility of using the same techniques over a lambda calculus with a richer type system. We generalize and extend Danvy's work in four ways:

• Type: Conference
• Year: 1997
• Where: PEPM
• Authors: Tim Sheard
• Keywords: Lambda Calculus, Partial Evaluator, PEPM 1997, Powerful Partial Evaluators, Software Engineering