Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: James
    Last name: Cheney
    DBLP: 96/3253
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 124  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    James Cheney, Alberto Momigliano.
    αCheck: A mechanized metatheory model-checker.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney.
    Imperative Functional Programs that Explain their Work.
    CoRR 2017, Volume 0 (0) 2017
    Journal article
    James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens.
    On principles of Least Change and Least Surprise for bidirectional transformations.
    Journal of Object Technology 2017, Volume 16 (0) 2017
    Conference paper
    Weili Fu, Roly Perera, Paul Anderson, James Cheney.
    muPuppet: A Declarative Subset of the Puppet Configuration Language.
    31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain 2017 (0) 2017
    Conference paper
    James Cheney, Alberto Momigliano.
    αCheck: A mechanized metatheory model checker.
    TPLP 2017, Volume 17 (0) 2017
    Journal article
    Wilmer Ricciotti, James Cheney.
    Strongly Normalizing Audited Computation.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens.
    Reflections on Monadic Lenses.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens.
    Reflections on Monadic Lenses.
    A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday 2016 (0) 2016
    Conference paper
    Roly Perera, James Cheney.
    Proof-relevant pi-calculus.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    James Cheney, Alberto Momigliano, Matteo Pessina.
    Advances in Property-Based Testing for $α$Prolog.
    CoRR 2016, Volume 0 (0) 2016
    Show item 1 to 25 of 124  

    Your query returned 124 matches in the database.