Registered user since Fri 4 Mar 2016
Name:Wouter Swierstra
Country:Netherlands
Affiliation:Utrecht University, Netherlands
Personal website:http://www.staff.science.uu.nl/~swier004
Contributions
| TyDe 2021 | Translation Certification for Smart Contracts (Extended Abstract) | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2021-profile
View general profile
View general profile