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

Tim Sheard. A Type-directed, On-line, Partial Evaluator for a Polymorphic Language. In PEPM. pages 22-35, 1997. [doi]

Abstract

Abstract is missing.