Not registered as user yet

Name:Patrick Kasting
Affiliation:DTU, Denmark

Contributions

ICFP 2017 Author of Effect-Driven QuickChecking of Compilers within the Research Papers-track