Not registered as user yet

Name: Mathias Nygaard Justesen

Affiliation: DTU, Denmark

Contributions

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