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 25 of 119  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    James Cheney, Alberto Momigliano.
    ╬▒Check: A mechanized metatheory model-checker.
    CoRR 2017, Volume 0 (0) 2017
    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
    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
    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
    Roly Perera, Deepak Garg 0001, James Cheney.
    Causally consistent dynamic slicing.
    CoRR 2016, Volume 0 (0) 2016
    Journal article
    Timothy M. McPhillips, Tianhong Song, Tyler Kolisnik, Steve Aulenbach, Khalid Belhajjame, Kyle Bocinsky, Yang Cao, Fernando Seabra Chirigati, Saumen C. Dey, Juliana Freire, Deborah N. Huntzinger, Christopher Jones, David Koop, Paolo Missier, Mark Schildhauer, Christopher R. Schwalm, Yaxing Wei, James Cheney, Mark Bieda, Bertram Ludäscher.
    YesWorkflow: A User-Oriented, Language-Independent Tool for Recovering Workflow Information from Scripts.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Khalid Belhajjame, Domenico Beneventano, Laure Berti-Equille, James Cheney, Víctor Cuevas-Vicenttín, Tom De Nies, Helena Galhardas, Ashish Gehani, Boris Glavic, Paul T. Groth, Olaf Hartig, Scott Jensen, Andrea Maurino, Gianni Mecca, Renée J. Miller, Luc Moreau, Mourad Ouzzani, Jaehong Park.
    Editorial.
    J. Data and Information Quality 2014, Volume 5 (0) 2015
    Journal article
    Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens.
    Notions of bidirectional computation and entangled state monads.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens.
    Notions of Bidirectional Computation and Entangled State Monads.
    Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings 2015 (0) 2015
    Journal article
    Roly Perera, James Cheney.
    Proof-relevant pi-calculus.
    Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, LFMTP 2015, Berlin, Germany, 1 August 2015. 2015, Volume 185 (0) 2015
    Conference paper
    James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens.
    Towards a Principle of Least Surprise for Bidirectional Transformations.
    Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, STAF 2015, L'Aquila, Italy, July 24, 2015. 2015 (0) 2015
    Journal article
    Luc Moreau, Paul T. Groth, James Cheney, Timothy Lebo, Simon Miles.
    The rationale of PROV.
    J. Web Sem. 2015, Volume 35 (0) 2015
    Conference paper
    James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler.
    Effective quotation: relating approaches to language-integrated query.
    Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA 2014 (0) 2014
    Conference paper
    James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons, Faris Abou-Saleh.
    Entangled State Monads.
    Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), Athens, Greece, March 28, 2014. 2014 (0) 2014
    Conference paper
    James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons.
    Towards a Repository of Bx Examples.
    Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), Athens, Greece, March 28, 2014. 2014 (0) 2014
    Conference paper
    Harry Halpin, James Cheney.
    Dynamic provenance for SPARQL updates using named graphs.
    23rd International World Wide Web Conference, WWW '14, Seoul, Republic of Korea, April 7-11, 2014, Companion Volume 2014 (0) 2014
    Journal article
    James Cheney, Sam Lindley, Philip Wadler.
    Query shredding: Efficient relational evaluation of queries over nested multisets (extended version).
    CoRR 2014, Volume 0 (0) 2014
    Journal article
    James Cheney, Roly Perera.
    An Analytical Survey of Provenance Sanitization.
    CoRR 2014, Volume 0 (0) 2014
    Show item 1 to 25 of 119  

    Your query returned 119 matches in the database.