Michael Sperber, Robert Glück, Peter Thiemann. Bootstrapping higher-order program transformers from interpreters. In Proceedings of the 1996 ACM Symposium on Applied Computing (SAC), February 17-19, 1996, Philadelphia, PA, USA. pages 408-413, ACM, 1996. [doi]
Abstract is missing.