![James McKinna](https://icfp20.sigplan.org/getProfileImage/jamesmckinna/ecc0f8df-bb72-450b-b20f-994ec1d2dde7/small.jpg?1711502878000)
Registered user since Mon 4 Apr 2016
Name:James McKinna
Affiliation:University of Edinburgh
Personal website: http://www.inf.ed.ac.uk/people/staff/James_McKinna.html
Contributions
ICFP 2020-profile
View general profile
View general profile
Registered user since Mon 4 Apr 2016
Contributions