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