Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Consel, C., Khoo, S.C.: On-line and off-line partial evaluation: semantic specifications and correctness proofs. Journal of Functional Programming 5(4), 461–500 (1995)
2. Lecture Notes in Computer Science;R. Glück,1993
3. Gomard, C.K.: A self-applicable partial evaluator for the lambda calculus: correctness and pragmatics. ACM TOPLAS 14(2), 147–172 (1992)
4. Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice-Hall, Englewood Cliffs (1993)
5. Lecture Notes in Computer Science;G. Kahn,1987