Skip to content

The Essence of Eta-Expansion in Partial Evaluation.

Olivier Danvy, Karoline Malmkjr, Jens Palsberg

VenueCPEPM
Year1994
ProceedingsPEPM

Browse the full PEPM paper archive.