Benedikt Ahrens

Registered user since Sun 28 Nov 2021

Name:Benedikt Ahrens
Country:Netherlands
Affiliation:TU Delft, The Netherlands

Contributions

CPP 2022 Implementing a category-theoretic framework for typed abstract syntax
Show activities from other conferences

POPL 2022-profile
View general profile