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 118  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    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
    Journal article
    Roly Perera, James Cheney.
    Proof-relevant pi-calculus.
    CoRR 2016, Volume 0 (0) 2016
    Journal article
    James Cheney, Alberto Momigliano, Matteo Pessina.
    Advances in Property-Based Testing for $α$Prolog.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    James Cheney.
    A simple sequent calculus for nominal logic.
    J. Log. Comput. 2016, Volume 26 (0) 2016
    Conference paper
    James Cheney, Alberto Momigliano, Matteo Pessina.
    Advances in Property-Based Testing for \alpha Prolog.
    Tests and Proofs - 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings 2016 (0) 2016
    Journal article
    Stefan Fehrenbach, James Cheney.
    Language-integrated provenance.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Roly Perera, Deepak Garg 0001, James Cheney.
    Causally Consistent Dynamic Slicing.
    27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada 2016 (0) 2016
    Journal article
    Weili Fu, James Cheney, Paul Anderson.
    An Operational Semantics for a Fragment of the Puppet Configuration Language.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Stefan Fehrenbach, James Cheney.
    Language-integrated provenance.
    Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016 2016 (0) 2016
    Show item 1 to 10 of 118  

    Your query returned 118 matches in the database.