Registered user since Mon 7 Dec 2015

Name: Steven Schäfer

POPL 2018 Activities

• Author of Binder Aware Recursion over Well-Scoped de Bruijn Syntax within the CPP 2018-track in CPP 2018
• Show activities from other conferences