Jurriaan Hage - ICFP 2018

Registered user since Sat 12 Sep 2015

Name: Jurriaan Hage

Affiliation: Utrecht University

Contributions

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