Not registered as user yet

Name: Patrick Kasting

Affiliation: DTU, Denmark

Contributions

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