Neil D. Jones, Carsten K. Gomard, Peter Sestoft. Partial Evaluation for the Lambda Calculus. In John Hatcliff, Torben Æ. Mogensen, Peter Thiemann, editors, Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998. Volume 1706 of Lecture Notes in Computer Science, pages 203-220, Springer, 1998. [doi]
No references recorded for this publication.
No citations of this publication recorded.