Registered user since Mon 4 Apr 2016
Name:James McKinna
Affiliation:University of Edinburgh
Personal website:http://homepages.inf.ed.ac.uk/jmckinna/
Contributions
| TyDe 2016 | Bidirectional Transformations are Proof-Relevant Bisimulations Committee Member in Program Committee within the TyDe-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2016-profile
View general profile
View general profile