Jurriaan Hage - ICFP 2018

Registered user since Sat 12 Sep 2015

Name: Jurriaan Hage

Affiliation: Utrecht University

Contributions

TyDe 2018	Author of Extended Abstract: Improving Error Messages for Dependent Types within the TyDe 2018-track
ICFP 2018	Committee Member in External Review Committee within the Research Papers-track
Show activities from other conferences