Self-applicable partial evaluation without s-expressions (1991)

by J Launchbury
Venue:In Functional Programming Languages and Computer Architecture