Higher-Order Abstract Syntax.

Frank Pfenning, Conal Elliott

Browse the full PLDI paper archive.