Not registered as user yet

Name:Andrej Bauer Andrej
Affiliation:andrej.bauer@andrej.com

Contributions

ICFP 2022 Committee Member in Selection Committee within the Tutorials-track