"Combinators for impure yet hygienic code generation."

Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics