James Cheney -

Registered user since Fri 6 Mar 2015

Name:James Cheney

Country:United Kingdom

Affiliation:University of Edinburgh

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

Contributions

2025

POPL

Committee Member in Program Committee within the POPL-track

CPP

Author of Nominal Matching Logic With Fixpoints within the CPP 2025-track

2024

ICFP

PC Member in ICFP Papers and Events within the ICFP Papers and Events-track

CPP

Author of Nominal Matching Logic With Fixpoints within the CPP 2024-track

2023

SPLASH

PC Member in OOPSLA Review Committee within the OOPSLA-track

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

2022

GPCE

Author of Language-Integrated Query for Temporal Data within the GPCE -track

ICFP

Author of Constraint-based type inference for FreezeML within the ICFP Papers and Events-track

ProLaLa

Author of Probabilistic programming for Employment Tribunal remedies within the ProLaLa Programming Languages and the Law-track

Symposium on Practical Aspects of Declarative Languages

2021

CONFLANG

Author of Provenance of Configuration Programming Language muPuppet within the CONFLANG-track

SPLASH

2020

PLDI

Author of FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the PLDI Research Papers-track

Symposium on Practical Aspects of Declarative Languages

2019

ICFP

Committee Member in External Review Committee within the Research Papers-track

ML

Author of (TyDe Presentation) FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the ML 2019-track

TyDe

Author of FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the TyDe 2019-track

DBPL

ProWeb

Author of TryLinks: An interactive tutorial system for a cross-tier Web programming language within the ProWeb'19-track

2018

ICFP

Author of Incremental Relational Lenses within the Research Papers-track

Bidirectional Transformations (bx)

Committee Member in Programme Committee within the Bx 2018-track

‹Programming›

CPP

Committee Member in Program Committee within the CPP 2018-track

POPL

Committee Member in Program Committee within the Research Papers-track

2017

ICFP

Author of Imperative Functional Programs That Explain Their Work within the Research Papers-track

ECOOP

Author of μPuppet: A Declarative Subset of the Puppet Configuration Language within the ECOOP Research Papers-track

Incremental Computing

Author of Incremental Relational Lenses within the IC 2017-track

2016

ICFP

Committee Member in External Review Committee within the Research Papers-track

Haskell

Committee Member in Program Committee within the Haskell-track

2015

DBPL