Bootstrapping Higher-Order Program Transformers from Interpreters (1996)

by Michael Sperber , Robert Glück , Peter Thiemann
Venue:IN PROCEEDINGS OF THE 1996 ACM SYMPOSIUM ON APPLIED COMPUTING
Citations:6 - 4 self