Higher-order abstract syntax (0)

by F Pfenning, C Elliott
Venue:In Programming Language Design and Implementation