• Sign in
  • Sign up
conf.researchr.org / James McKinna
  • APLAS 2020 profile
  • ICFP 2016 profile
  • ICFP 2017 profile
  • ICFP 2018 profile
  • ICFP 2020 profile
  • ICFP 2023 profile
  • PLDI 2019 profile
  • PLDI 2020 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • POPL 2019 profile
  • POPL 2020 profile
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

Share
xSat 1 Apr 18:49
using conf.researchr.org (v1.60.0)
Support page
Sign Up