Skip to content

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

Tim Sheard

VenueCPEPM
Year1997
ProceedingsPEPM

Browse the full PEPM paper archive.