Bootstrapping higher-order program transformers from interpreters.

Michael Sperber, Robert Glck, Peter Thiemann

Browse the full SAC paper archive.