Sciweavers

PEPM
1997
ACM

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

14 years 2 months ago
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:
Tim Sheard
Added 08 Aug 2010
Updated 08 Aug 2010
Type Conference
Year 1997
Where PEPM
Authors Tim Sheard
Comments (0)