No photo of James McKinna
  • EH14 4AS

    United Kingdom

1993 …2020

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where James McKinna is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 4 Similar Profiles

Co Author Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs

Allais, G., Atkey, R., Chapman, J., McBride, C. & McKinna, J., 2020, (Accepted/In press) In : Journal of Functional Programming.

Research output: Contribution to journalArticle

  • λdB: Blame tracking at higher fidelity

    Zalewski, J., McKinna, J., Morris, J. G. & Wadler, P., 2020.

    Research output: Contribution to conferencePaper

    Open Access
  • Abstracting extensible data types: or, rows by any other name

    Morris, J. G. & McKinna, J., 2 Jan 2019, In : Proceedings of the ACM on Programming Languages. 3, POPL, 12.

    Research output: Contribution to journalArticle

    Open Access
  • A type and scope safe universe of syntaxes with binding: their semantics and proofs

    Allais, G., Atkey, R., Chapman, J., McBride, C. & McKinna, J., Sep 2018, In : Proceedings of the ACM on Programming Languages. 2, ICFP, 90.

    Research output: Contribution to journalArticle

    Open Access
  • Introduction to bidirectional transformations

    Abou-Saleh, F., Cheney, J., Gibbons, J., McKinna, J. & Stevens, P., 28 Mar 2018, Bidirectional Transformations. Stevens, P. & Gibbons, J. (eds.). Springer, p. 1-28 28 p. (Lecture Notes in Computer Science; vol. 9715).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution