Binder aware recursion over well-scoped de Bruijn syntax.

Jonas Kaiser, Steven Schfer, Kathrin Stark

Browse the full CPP paper archive.