James McKinna -

Registered user since Mon 4 Apr 2016

Name:James McKinna

Country:United Kingdom

Affiliation:Heriot-Watt University

Personal website:https://researchportal.hw.ac.uk/en/persons/james-mckinna

Contributions

ICFP 2023	Committee Member in Program Committee within the ICFP Research Papers-track
BAPL 2020	Committee Member in Program Committee within the BAPL 2020 (Cancelled)-track
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
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
ICFP 2018	Author of A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs within the Research Papers-track
CPP 2018	Author of Triangulating Context Lemmas within the CPP 2018-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