Higher-order abstract syntax: setting the record straight.

Karl Crary Robert Harper Higher-order abstract syntax: setting the record straight. 93-96 2006 37 SIGACT News 3 http://doi.acm.org/10.1145/1165555.1165572 db/journals/sigact/sigact37.html#CraryH06