Jonas Kaiser, Steven Schäfer, Kathrin Stark. Binder aware recursion over well-scoped de Bruijn syntax. In June Andronick, Amy P. Felty, editors, Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018. pages 293-306, ACM, 2018. [doi]
Abstract is missing.