Matthias Heinzel -

Registered user since Mon 25 May 2020

Name:Matthias Heinzel

Country:Netherlands

Affiliation:Utrecht University

X (Twitter): https://x.com/mheinzel_

GitHub: https://github.com/mheinzel

Contributions

2022

TyDe

Author of Provingly Correct Optimisations on Intrinsically Typed Expressions (Extended Abstract) within the TyDe 2022-track