Programs Using Syntax with First-Class Binders.

Francisco Ferreira, Brigitte Pientka

Browse the full ESOP paper archive.