Skip to content

Self-applicable Online Partial Evaluation of Pure Lambda Calculus.

Torben . Mogensen

VenueCPEPM
Year1995
ProceedingsPEPM

Browse the full PEPM paper archive.