Bootstrapping higher-order program transformers from interpreters (1996)

by M Sperber, R Gluck, P Thiemann
Venue:Proceedings of the 1996 ACM Symposium on Applied Computing, 408--413