Not registered as user yet

Name: Martin Avanzini

Affiliation: University of Innsbruck, Austria

Contributions

ICFP 2017Author of Automating Sized-Type Inference for Complexity Analysis within the Research Papers-track