Programming with binders and indexed data-types.

Andrew Cave, Brigitte Pientka

Browse the full POPL paper archive.