
Registered user since Mon 25 May 2020
Name:Matthias Heinzel
Country:Netherlands
Affiliation:Utrecht University
Twitter:https://twitter.com/mheinzel_
GitHub:https://github.com/mheinzel
Contributions
TyDe 2022 | Provingly Correct Optimisations on Intrinsically Typed Expressions (Extended Abstract) | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2022-profile
View general profile
View general profile