Registered user since Fri 4 Mar 2016

Name: Wouter Swierstra

Country: Netherlands

Affiliation: University of Utrecht

Personal website: http://www.staff.science.uu.nl/~swier004

ICFP 2017 Activities

• Member at large in Steering Committee for ICFP 2017
• Author of Generic packet descriptions: verified parsing and pretty printing of low-level data within the TyDe 2017-track in TyDe 2017
• Author of Type-directed diffing of structured data within the TyDe 2017-track in TyDe 2017
• Show activities from other conferences