Skip to content

Self-applicable Partial Evaluation for Pure Lambda Calculus.

Torben . Mogensen

VenueCPEPM
Year1992
ProceedingsPEPM

Browse the full PEPM paper archive.