Higher-order abstract syntax: setting the record straight (0)

by Karl Crary, Robert Harper
Venue:SIGACT News