James Cheney

Registered user since Fri 6 Mar 2015

Name: James Cheney

Affiliation: University of Edinburgh, UK

Personal website: http://homepages.inf.ed.ac.uk/jcheney/

Contributions

PADL 2020 Author of Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming within the PADL 2020-track
Session Chair of Small Languages and Implementation (part of PADL 2020)
PLDI 2020 Author of FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the PLDI Research Papers-track
ML 2019 Author of (TyDe Presentation) FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the ML 2019-track
TyDe 2019 Author of FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the TyDe 2019-track
DBPL 2019 Author of Mixing set and bag semantics within the DBPL 2019-track
Author of Language-integrated provenance by trace analysis within the DBPL 2019-track
ProWeb'19 Author of TryLinks: An interactive tutorial system for a cross-tier Web programming language within the ProWeb'19-track
ICFP 2019 Committee Member in External Review Committee within the Research Papers-track
Bx 2018 Committee Member in Programme Committee within the Bx 2018-track
CPP 2018 Committee Member in Program Committee within the CPP 2018-track
ICFP 2018 Author of Incremental Relational Lenses within the Research Papers-track
‹Programming› 2018 Committee Member in Jury within the Student Research Competition-track
Author of Language-integrated provenance in Haskell within the Research Papers-track
IC 2017 Author of Incremental Relational Lenses within the IC 2017-track
ICFP 2017 Author of Imperative Functional Programs That Explain Their Work within the Research Papers-track
POPL 2018 Committee Member in Program Committee within the Research Papers-track
Haskell 2016 Committee Member in Program Committee within the Haskell-track
ECOOP 2017 Author of μPuppet: A Declarative Subset of the Puppet Configuration Language within the ECOOP Research Papers-track
ICFP 2016 Committee Member in External Review Committee within the Research Papers-track
DBPL 2015 Program Co-Chair in Program Committee within the DBPL-track
Session Chair of Session 1: Keynote (part of DBPL)