Kathrin Stark

Registered user since Tue 8 Jan 2019

Name: Kathrin Stark

Affiliation: Saarland University, Germany

Contributions

CPP 2018 Binder Aware Recursion over Well-Scoped de Bruijn Syntax
Show activities from other conferences

POPL 2018-profile
View general profile