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

APLAS 2020	Committee Member in Program Committee
TyDe 2020	PC Co-Chair in Organizing Committee within the TyDe 2020-track PC Co-Chair in Program Committee within the TyDe 2020-track
BAPL 2020	Committee Member in Program Committee within the BAPL 2020 (Cancelled)-track
WGT 2020	Author of Blame tracking at higher fidelity within the WGT-track
DeepSpec 2019	Presenter of Names, Places, and Things: Generic Traversals over Generic Syntax with Binding within the DeepSpec 2019-track
POPL 2019	Author of Abstracting Extensible Data Types; Or, Rows By Any Other Name within the Research Papers-track
CPP 2018	Author of Triangulating Context Lemmas within the CPP 2018-track
ICFP 2018	Author of A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs within the Research Papers-track
TyDe 2017	Author of On ringads and foldables within the TyDe 2017-track
CPP 2017	Author of Type-and-scope safe programs and their proofs within the CPP-track
TyDe 2016	Author of Bidirectional Transformations are Proof-Relevant Bisimulations within the TyDe-track Committee Member in Program Committee within the TyDe-track