R.: Higher-order abstract syntax: setting the record straight (2006)

by K Crary, Harper
Venue:SIGACT News