Partial Evaluation
A Partial Evaluator for the Untyped Lambda-Calculus
C.K. Gomard and N.D. Jones
(ARTICLE, 1991)
comqss@herts.ac.uk
![[-]](http://homepages.feis.herts.ac.uk/~comqss/icons/tbook_empty.gif){kind=spacer}
A Partial Evaluator for the Untyped Lambda-Calculus
A Partial Evaluator for the Untyped Lambda-Calculus