Chapter 1
Chapter 2
Chapter 3
Chapter 4
Chapter 5
Chapter 6
Chapter 7
Chapter 8
Bibliography
Appendix A
Corrigenda ps, pdf
Actress
RAT
RML
Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation
Version 15, Tue 22 May 2001 15:02:03 [pdm] - created Wed 31 Jan 2001 13:27:16 [pdm]