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

BAPL 2020Committee Member in Program Committee within the BAPL 2020-track
WGT 2020Author of Blame tracking at higher fidelity within the WGT-track
DeepSpec 2019Presenter of Names, Places, and Things: Generic Traversals over Generic Syntax with Binding within the DeepSpec 2019-track
POPL 2019Author of Abstracting Extensible Data Types; Or, Rows By Any Other Name within the Research Papers-track
CPP 2018Author of Triangulating Context Lemmas within the CPP 2018-track
ICFP 2018Author of A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs within the Research Papers-track
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 2016Author of Bidirectional Transformations are Proof-Relevant Bisimulations within the TyDe-track
Committee Member in Program Committee within the TyDe-track