Not registered as user yet

Name: Hanne Riis Nielson

Affiliation: DTU, Denmark

Contributions

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