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
| TyDe 2017 | On ringads and foldables | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2017-profile
View general profile
View general profile