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

2025

POPL

Author of Barendregt Convenes with Knaster and Tarski: Strong Rule Induction for Syntax with Bindings within the POPL-track

2023

SPLASH

Author of Structural Subtyping as Parametric Polymorphism within the OOPSLA-track

ICFP

Committee Member in Program Committee within the ICFP Papers and Events-track

2020

BAPL

Committee Member in Program Committee within the BAPL 2020 (Cancelled)-track

APLAS

Committee Member in Program Committee

TyDe

WGT

Author of Blame tracking at higher fidelity within the WGT-track

2019

DeepSpec

Presenter of Names, Places, and Things: Generic Traversals over Generic Syntax with Binding within the DeepSpec 2019-track

POPL

Author of Abstracting Extensible Data Types; Or, Rows By Any Other Name within the Research Papers-track

2018

ICFP

Author of A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs within the Research Papers-track

CPP

Author of Triangulating Context Lemmas within the CPP 2018-track

2017

TyDe

Author of On ringads and foldables within the TyDe 2017-track

CPP

Author of Type-and-scope safe programs and their proofs within the CPP-track

2016

TyDe