Edit Profile (opens in new tab) Cheney, James Compute Distance To: Compute Author ID: cheney.james Published as: Cheney, James External Links: MGP Documents Indexed: 38 Publications since 2001 2 Contributions as Editor Co-Authors: 24 Co-Authors with 26 Joint Publications 370 Co-Co-Authors all top 5 Co-Authors 14 single-authored 5 Acar, Umut A. 5 Perera, Roly 5 Ricciotti, Wilmer 4 Urban, Christian 3 Abou-Saleh, Faris 3 Gibbons, Jeremy 3 McKinna, James 3 Stevens, Perdita 2 Ahmed, Amal 1 Anjorin, Anthony 1 Berghofer, Stefan 1 Botticelli, Peter 1 Garg, Deepak 1 Grust, Torsten 1 Lagoze, Carl 1 Levy, Paul Blain 1 Lindley, Sam 1 Momigliano, Alberto 1 Norrish, Michael 1 Stolarek, Jan 1 Vestergaard, René 1 Wadler, Philip Lee 1 Weidmann, Nils 1 Weirich, Stephanie all top 5 Serials 3 Journal of Automated Reasoning 2 MSCS. Mathematical Structures in Computer Science 2 Journal of Functional Programming 2 Logical Methods in Computer Science 1 ACM Transactions on Database Systems 1 The Journal of Symbolic Logic 1 Journal of Logic and Computation 1 Theory and Practice of Logic Programming 1 ACM Transactions on Computational Logic Fields 36 Computer science (68-XX) 11 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 29 Publications have been cited 109 times in 75 Documents Cited by ▼ Year ▼ \(\alpha\)Prolog: a logic programming language with names, binding and \(\alpha\)-equivalence. Zbl 1104.68370Cheney, James; Urban, Christian 18 2004 Mechanizing the metatheory of LF. Zbl 1351.68250Urban, Christian; Cheney, James; Berghofer, Stefan 14 2011 Equivariant unification. Zbl 1207.68368Cheney, James 9 2010 Completeness and Herbrand theorems for nominal logic. Zbl 1100.03016Cheney, James 9 2006 The complexity of equivariant unification. Zbl 1098.03023Cheney, James 6 2004 A practical theory of language-integrated query. Zbl 1323.68102Cheney, James; Lindley, Sam; Wadler, Philip 5 2013 Equivariant unification. Zbl 1078.03026Cheney, James 4 2005 Avoiding equivariance in Alpha-Prolog. Zbl 1114.68027Urban, Christian; Cheney, James 4 2005 A simpler proof theory for nominal logic. Zbl 1119.03023Cheney, James 4 2005 \(\alpha\mathrm{Check}\): a mechanized metatheory model checker. Zbl 1379.68236Cheney, James; Momigliano, Alberto 4 2017 Provenance as dependency analysis. Zbl 1252.68076Cheney, James; Ahmed, Amal; Acar, Umut A. 4 2011 A dependent nominal type theory. Zbl 1241.68046Cheney, James 4 2012 Proof-relevant \(\pi\)-calculus: a constructive account of concurrency and causality. Zbl 1400.68142Perera, Roly; Cheney, James 3 2018 A simple nominal type theory. Zbl 1337.03039Cheney, James 2 2009 Strongly normalizing audited computation. Zbl 1434.03059Ricciotti, Wilmer; Cheney, James 2 2017 Introduction to bidirectional transformations. Zbl 1476.68034Abou-Saleh, Faris; Cheney, James; Gibbons, Jeremy; McKinna, James; Stevens, Perdita 2 2018 Notions of bidirectional computation and entangled state monads. Zbl 1432.68068Abou-Saleh, Faris; Cheney, James; Gibbons, Jeremy; McKinna, James; Stevens, Perdita 2 2015 Query lifting. Language-integrated query for heterogeneous nested collections. Zbl 1473.68067Ricciotti, Wilmer; Cheney, James 2 2021 A core calculus for provenance. Zbl 1353.68027Acar, Umut A.; Ahmed, Amal; Cheney, James; Perera, Roly 1 2012 Mechanizing the metatheory of mini-XQuery. Zbl 1350.68054Cheney, James; Urban, Christian 1 2011 A simple sequent calculus for nominal logic. Zbl 1403.03049Cheney, James 1 2016 Reflections on monadic lenses. Zbl 1343.68053Abou-Saleh, Faris; Cheney, James; Gibbons, Jeremy; McKinna, James; Stevens, Perdita 1 2016 FLUX: functional updates for XML. Zbl 1323.68101Cheney, James 1 2008 Functional programs that explain their work. Zbl 1291.68129Perera, Roly; Acar, Umut A.; Cheney, James; Levy, Paul Blain 1 2012 Scrap your nameplate (functional pearl). Zbl 1302.68056Cheney, James 1 2005 Causally consistent dynamic slicing. Zbl 1392.68313Perera, Roly; Garg, Deepak; Cheney, James 1 2016 Explicit auditing. Zbl 06983517Ricciotti, Wilmer; Cheney, James 1 2018 Regular expression subtyping for XML query and update languages. Zbl 1133.68329Cheney, James 1 2008 Strongly-normalizing higher-order relational queries. Zbl 07596571Ricciotti, Wilmer; Cheney, James 1 2022 Strongly-normalizing higher-order relational queries. Zbl 07596571Ricciotti, Wilmer; Cheney, James 1 2022 Query lifting. Language-integrated query for heterogeneous nested collections. Zbl 1473.68067Ricciotti, Wilmer; Cheney, James 2 2021 Proof-relevant \(\pi\)-calculus: a constructive account of concurrency and causality. Zbl 1400.68142Perera, Roly; Cheney, James 3 2018 Introduction to bidirectional transformations. Zbl 1476.68034Abou-Saleh, Faris; Cheney, James; Gibbons, Jeremy; McKinna, James; Stevens, Perdita 2 2018 Explicit auditing. Zbl 06983517Ricciotti, Wilmer; Cheney, James 1 2018 \(\alpha\mathrm{Check}\): a mechanized metatheory model checker. Zbl 1379.68236Cheney, James; Momigliano, Alberto 4 2017 Strongly normalizing audited computation. Zbl 1434.03059Ricciotti, Wilmer; Cheney, James 2 2017 A simple sequent calculus for nominal logic. Zbl 1403.03049Cheney, James 1 2016 Reflections on monadic lenses. Zbl 1343.68053Abou-Saleh, Faris; Cheney, James; Gibbons, Jeremy; McKinna, James; Stevens, Perdita 1 2016 Causally consistent dynamic slicing. Zbl 1392.68313Perera, Roly; Garg, Deepak; Cheney, James 1 2016 Notions of bidirectional computation and entangled state monads. Zbl 1432.68068Abou-Saleh, Faris; Cheney, James; Gibbons, Jeremy; McKinna, James; Stevens, Perdita 2 2015 A practical theory of language-integrated query. Zbl 1323.68102Cheney, James; Lindley, Sam; Wadler, Philip 5 2013 A dependent nominal type theory. Zbl 1241.68046Cheney, James 4 2012 A core calculus for provenance. Zbl 1353.68027Acar, Umut A.; Ahmed, Amal; Cheney, James; Perera, Roly 1 2012 Functional programs that explain their work. Zbl 1291.68129Perera, Roly; Acar, Umut A.; Cheney, James; Levy, Paul Blain 1 2012 Mechanizing the metatheory of LF. Zbl 1351.68250Urban, Christian; Cheney, James; Berghofer, Stefan 14 2011 Provenance as dependency analysis. Zbl 1252.68076Cheney, James; Ahmed, Amal; Acar, Umut A. 4 2011 Mechanizing the metatheory of mini-XQuery. Zbl 1350.68054Cheney, James; Urban, Christian 1 2011 Equivariant unification. Zbl 1207.68368Cheney, James 9 2010 A simple nominal type theory. Zbl 1337.03039Cheney, James 2 2009 FLUX: functional updates for XML. Zbl 1323.68101Cheney, James 1 2008 Regular expression subtyping for XML query and update languages. Zbl 1133.68329Cheney, James 1 2008 Completeness and Herbrand theorems for nominal logic. Zbl 1100.03016Cheney, James 9 2006 Equivariant unification. Zbl 1078.03026Cheney, James 4 2005 Avoiding equivariance in Alpha-Prolog. Zbl 1114.68027Urban, Christian; Cheney, James 4 2005 A simpler proof theory for nominal logic. Zbl 1119.03023Cheney, James 4 2005 Scrap your nameplate (functional pearl). Zbl 1302.68056Cheney, James 1 2005 \(\alpha\)Prolog: a logic programming language with names, binding and \(\alpha\)-equivalence. Zbl 1104.68370Cheney, James; Urban, Christian 18 2004 The complexity of equivariant unification. Zbl 1098.03023Cheney, James 6 2004 all cited Publications top 5 cited Publications all top 5 Cited by 118 Authors 11 Fernández, Maribel 10 Gabbay, Murdoch James 9 Cheney, James 6 Ayala-Rincón, Mauricio 4 Kutz, Yunus D. K. 4 Momigliano, Alberto 4 Pitts, Andrew M. 4 Schmidt-Schauß, Manfred 4 Sobrinho, Daniele Nantes 3 Calvès, Christophe 3 Pientka, Brigitte 3 Ricciotti, Wilmer 3 Urban, Christian 2 Kaliszyk, Cezary 2 Lakin, Matthew R. 2 Lipton, James B. 2 Miller, Dale Allen 2 Norrish, Michael 2 Rocha-Oliveira, Ana Cristina 2 Tiu, Alwen Fernanto 2 Vale, Deivid 2 Vezzosi, Andrea 1 Abel, Andreas M. 1 Abou-Saleh, Faris 1 Ahn, Ki Yung 1 Allais, Guillaume 1 Alpuente, María 1 Amato, Gianluca 1 Ambal, Guillaume 1 Amir-Mohammadian, Sepehr 1 Aoto, Takahito 1 Arts, Thomas 1 Ballis, Demis 1 Barendregt, Hendrik Pieter 1 Benac Earle, Clara 1 Bickford, Mark 1 Boisseau, Guillaume 1 Bouaziz, Rafik 1 Brahmia, Zouhaier 1 Byrd, William E. 1 Cavallo, Evan 1 Cave, Andrew 1 Clouston, Ranald A. 1 Costa Seco, João 1 Crole, Roy L. 1 Dawson, Jeremy E. 1 Dezani-Ciancaglini, Mariangiola 1 Domínguez, Jesús Emilio 1 Dowek, Gilles 1 Erwig, Martin 1 Farka, František 1 Felty, Amy P. 1 Frechina, Francisco 1 Fredlund, Lars-åke 1 Friedman, Daniel P. 1 Fritsche, Lars 1 Gacek, Andrew 1 Gallego Arias, Emilio Jesús 1 Gibbons, Jeremy 1 Hameer, Aliya 1 Hamrouni, Hind 1 Harper, Robert 1 Hefford, James 1 Horne, Ross 1 Kameyama, Yukiyoshi 1 Kari, Chadi 1 Kikuchi, Kentaro 1 König, Harald 1 Kosiol, Jens 1 Kutsia, Temur 1 Lamo, Yngve 1 Lanese, Ivan 1 Lenglet, Sergueï 1 Lengrand, Stéphane Jean Eric 1 Levy, Jordi 1 Lourenço, Hugo 1 Mariño, Julio 1 McGrail, Robert W. 1 McKinna, James 1 Medić, Doriana 1 Mezzina, Claudio Antares 1 Mulligan, Dominic P. 1 Nadathur, Gopalan 1 Narboux, Julien 1 Near, Joseph P. 1 Nebel, Frank 1 Nipkow, Tobias 1 Okura, Rui 1 Palacios, Adrian G. 1 Paulson, Lawrence Charles 1 Phillips, Iain W. 1 Popescu, Andrei 1 Rahli, Vincent 1 Roşu, Grigore 1 Rutle, Adrian 1 Sabel, David 1 Sapiña, Julia 1 Sassone, Vladimiro 1 Schäfer, Steven 1 Schmitt, Alan ...and 18 more Authors all top 5 Cited in 15 Serials 7 Theoretical Computer Science 7 Journal of Automated Reasoning 5 MSCS. Mathematical Structures in Computer Science 5 Journal of Functional Programming 4 Information and Computation 3 Logical Methods in Computer Science 3 Journal of Logical and Algebraic Methods in Programming 2 Journal of Computer and System Sciences 2 Journal of Symbolic Computation 2 Formal Aspects of Computing 2 Fundamenta Informaticae 1 The Journal of Symbolic Logic 1 The Bulletin of Symbolic Logic 1 Theory and Practice of Logic Programming 1 Computer Science Review Cited in 5 Fields 71 Computer science (68-XX) 28 Mathematical logic and foundations (03-XX) 3 Category theory; homological algebra (18-XX) 1 General algebraic systems (08-XX) 1 Quantum theory (81-XX) Citations by Year