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

ICFP 2017 Activities

• Author of On ringads and foldables within the TyDe 2017-track in TyDe 2017
• Show activities from other conferences