ICFP 2021
Sun 22 - Sat 28 August 2021
Wouter Swierstra

Registered user since Fri 4 Mar 2016

Name:Wouter Swierstra
Country:Netherlands
Affiliation:Utrecht University, Netherlands

Contributions

TyDe 2021 Translation Certification for Smart Contracts (Extended Abstract)
Show activities from other conferences

ICFP 2021-profile
View general profile