
Registered user since Tue 4 Apr 2017
Name: Adam Gundry
Country: United Kingdom
Affiliation: Well-Typed LLP
Personal website: http://www.well-typed.com/
Contributions
ICFP 2017-profile
View general profile
View general profile
Registered user since Tue 4 Apr 2017
Name: Adam Gundry
Country: United Kingdom
Affiliation: Well-Typed LLP
Personal website: http://www.well-typed.com/
Contributions