Skip to content

Deriving a Statically Typed Type-Directed Partial Evaluator.

Morten Rhiger

VenueCPEPM
Year1999
ProceedingsPEPM

Browse the full PEPM paper archive.