Tim Sheard Zine-El-Abidine Benaissa Emir Pasalic DSL implementation using staging and monads. 81-94 1999 DSL http://doi.acm.org/10.1145/331960.331975 db/conf/dsl/dsl1999.html#SheardBP99