Wouter Swierstra - ICFP 2018

Registered user since Fri 4 Mar 2016

Name:Wouter Swierstra

Country:Netherlands

Affiliation:Utrecht University, Netherlands

Contributions

TyDe 2018	From Algebra to Abstract Machine: A Verified Generic Construction Extended Abstract: Improving Error Messages for Dependent Types
ICFP 2018	Committee Member in Distinguished Papers Committee within the Research Papers-track Member at large in Steering Committee Committee Member in Program Committee within the Research Papers-track Session Chair of Bidirectional Programming (part of Research Papers)
Show activities from other conferences