conf.researchr.org / James McKinna
James McKinna

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 2017Author of On ringads and foldables within the TyDe 2017-track
CPP 2017Author of Type-and-scope safe programs and their proofs within the CPP-track
TyDe 2016Committee Member in Program Committee within the TyDe-track