Michael Färber

Registered user since Sun 28 Nov 2021

Name:Michael Färber
Country:Austria
Affiliation:Universität Innsbruck, Austria

Contributions

CPP 2023 Terms for Efficient Proof Checking and Parsing
Show activities from other conferences

POPL 2023-profile
View general profile