Self-applicable Partial Evaluation for Pure Lambda Calculusrepository.readscheme.org2 pointsjacquesm17 years ago