References
- Barendregt84
- Hendrik P Barendregt. The Lambda Calculus, Its Syntax and Semantics. North-Holland 1984.
- Draves95
- Scott Draves. Lightweight Languages for Interactive Graphics. CMU-CS-95-148. original.
- Futamura71
- Y Futamura. Partial evalutaion of computation process - an approach to a compiler-compiler. Systems, Computers, Controls, 2:45-50.
- JoSeSo85
- Neil D Jones, P Sestoft, H Søndergaard. An experiment in partial evaluation: The generation of a compiler generator. Rewriting Techniques and Applications, Dijon, France, 1985.
- Massalin92
- Henry Massalin. Efficient Implementation of Fundamental Operating System Services. Columbia 1992.