Books by Carsten K. Gomard:
![[Info]](https://onlinebooks.library.upenn.edu/info.gif)
Gomard, Carsten K.: Partial Evaluation and Automatic Program Generation (c1999), also by Neil D. Jones and Peter Sestoft (PDF and Postscript with commentary in Denmark)
Find more by Carsten K. Gomard at your library, or elsewhere.