James Cheney : Publications



Home

Publications

Presentations

Programs

BibTeX entries for all publications

Hot off the press

  • Imperative Functional Programs that Explain their Work, Wilmer Ricciotti, Jan Stolarek, Roly Perera and James Cheney. ICFP 2017, to appear. (arXiv)
  • μPuppet: A declarative subset of the Puppet configuration language, Weili Fu, Roly Perera, Paul Anderson and James Cheney, ECOOP 2017, to appear. (arXiv)
  • αCheck: A mechanized metatheory model-checker, James Cheney and Alberto Momigliano, Theory and Practice of Logic Programming, 17(3):311-352, 2017. (arXiv)
  • Proof-relevant π-calculus: a constructive approach to concurrency and causality, Roly Perera and James Cheney, Mathematical Structures in Computer Science, Special issue on LFMTP 2015, to appear. (arXiv)
  • On principles of Least Change and Least Surprise for bidirectional transformations, James Cheney, Jeremy Gibbons, James McKinna and Perdita Stevens, Journal of Object Technology, to appear. (preprint)

Journal Articles

Refereed Conference Papers

Proceedings

Invited papers

Workshop Papers

Tutorials

Columns

Posters and Demos

Technical Reports

Dissertations and Theses


Modified