×
Compute Distance To:
Author ID: cheney.james Recent zbMATH articles by "Cheney, James"
Published as: Cheney, James
External Links: MGP

Publications by Year

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.68370
Cheney, James; Urban, Christian
18
2004
Mechanizing the metatheory of LF. Zbl 1351.68250
Urban, Christian; Cheney, James; Berghofer, Stefan
14
2011
Equivariant unification. Zbl 1207.68368
Cheney, James
9
2010
Completeness and Herbrand theorems for nominal logic. Zbl 1100.03016
Cheney, James
9
2006
The complexity of equivariant unification. Zbl 1098.03023
Cheney, James
6
2004
A practical theory of language-integrated query. Zbl 1323.68102
Cheney, James; Lindley, Sam; Wadler, Philip
5
2013
Equivariant unification. Zbl 1078.03026
Cheney, James
4
2005
Avoiding equivariance in Alpha-Prolog. Zbl 1114.68027
Urban, Christian; Cheney, James
4
2005
A simpler proof theory for nominal logic. Zbl 1119.03023
Cheney, James
4
2005
\(\alpha\mathrm{Check}\): a mechanized metatheory model checker. Zbl 1379.68236
Cheney, James; Momigliano, Alberto
4
2017
Provenance as dependency analysis. Zbl 1252.68076
Cheney, James; Ahmed, Amal; Acar, Umut A.
4
2011
A dependent nominal type theory. Zbl 1241.68046
Cheney, James
4
2012
Proof-relevant \(\pi\)-calculus: a constructive account of concurrency and causality. Zbl 1400.68142
Perera, Roly; Cheney, James
3
2018
A simple nominal type theory. Zbl 1337.03039
Cheney, James
2
2009
Strongly normalizing audited computation. Zbl 1434.03059
Ricciotti, Wilmer; Cheney, James
2
2017
Introduction to bidirectional transformations. Zbl 1476.68034
Abou-Saleh, Faris; Cheney, James; Gibbons, Jeremy; McKinna, James; Stevens, Perdita
2
2018
Notions of bidirectional computation and entangled state monads. Zbl 1432.68068
Abou-Saleh, Faris; Cheney, James; Gibbons, Jeremy; McKinna, James; Stevens, Perdita
2
2015
Query lifting. Language-integrated query for heterogeneous nested collections. Zbl 1473.68067
Ricciotti, Wilmer; Cheney, James
2
2021
A core calculus for provenance. Zbl 1353.68027
Acar, Umut A.; Ahmed, Amal; Cheney, James; Perera, Roly
1
2012
Mechanizing the metatheory of mini-XQuery. Zbl 1350.68054
Cheney, James; Urban, Christian
1
2011
A simple sequent calculus for nominal logic. Zbl 1403.03049
Cheney, James
1
2016
Reflections on monadic lenses. Zbl 1343.68053
Abou-Saleh, Faris; Cheney, James; Gibbons, Jeremy; McKinna, James; Stevens, Perdita
1
2016
FLUX: functional updates for XML. Zbl 1323.68101
Cheney, James
1
2008
Functional programs that explain their work. Zbl 1291.68129
Perera, Roly; Acar, Umut A.; Cheney, James; Levy, Paul Blain
1
2012
Scrap your nameplate (functional pearl). Zbl 1302.68056
Cheney, James
1
2005
Causally consistent dynamic slicing. Zbl 1392.68313
Perera, Roly; Garg, Deepak; Cheney, James
1
2016
Explicit auditing. Zbl 06983517
Ricciotti, Wilmer; Cheney, James
1
2018
Regular expression subtyping for XML query and update languages. Zbl 1133.68329
Cheney, James
1
2008
Strongly-normalizing higher-order relational queries. Zbl 07596571
Ricciotti, Wilmer; Cheney, James
1
2022
Strongly-normalizing higher-order relational queries. Zbl 07596571
Ricciotti, Wilmer; Cheney, James
1
2022
Query lifting. Language-integrated query for heterogeneous nested collections. Zbl 1473.68067
Ricciotti, Wilmer; Cheney, James
2
2021
Proof-relevant \(\pi\)-calculus: a constructive account of concurrency and causality. Zbl 1400.68142
Perera, Roly; Cheney, James
3
2018
Introduction to bidirectional transformations. Zbl 1476.68034
Abou-Saleh, Faris; Cheney, James; Gibbons, Jeremy; McKinna, James; Stevens, Perdita
2
2018
Explicit auditing. Zbl 06983517
Ricciotti, Wilmer; Cheney, James
1
2018
\(\alpha\mathrm{Check}\): a mechanized metatheory model checker. Zbl 1379.68236
Cheney, James; Momigliano, Alberto
4
2017
Strongly normalizing audited computation. Zbl 1434.03059
Ricciotti, Wilmer; Cheney, James
2
2017
A simple sequent calculus for nominal logic. Zbl 1403.03049
Cheney, James
1
2016
Reflections on monadic lenses. Zbl 1343.68053
Abou-Saleh, Faris; Cheney, James; Gibbons, Jeremy; McKinna, James; Stevens, Perdita
1
2016
Causally consistent dynamic slicing. Zbl 1392.68313
Perera, Roly; Garg, Deepak; Cheney, James
1
2016
Notions of bidirectional computation and entangled state monads. Zbl 1432.68068
Abou-Saleh, Faris; Cheney, James; Gibbons, Jeremy; McKinna, James; Stevens, Perdita
2
2015
A practical theory of language-integrated query. Zbl 1323.68102
Cheney, James; Lindley, Sam; Wadler, Philip
5
2013
A dependent nominal type theory. Zbl 1241.68046
Cheney, James
4
2012
A core calculus for provenance. Zbl 1353.68027
Acar, Umut A.; Ahmed, Amal; Cheney, James; Perera, Roly
1
2012
Functional programs that explain their work. Zbl 1291.68129
Perera, Roly; Acar, Umut A.; Cheney, James; Levy, Paul Blain
1
2012
Mechanizing the metatheory of LF. Zbl 1351.68250
Urban, Christian; Cheney, James; Berghofer, Stefan
14
2011
Provenance as dependency analysis. Zbl 1252.68076
Cheney, James; Ahmed, Amal; Acar, Umut A.
4
2011
Mechanizing the metatheory of mini-XQuery. Zbl 1350.68054
Cheney, James; Urban, Christian
1
2011
Equivariant unification. Zbl 1207.68368
Cheney, James
9
2010
A simple nominal type theory. Zbl 1337.03039
Cheney, James
2
2009
FLUX: functional updates for XML. Zbl 1323.68101
Cheney, James
1
2008
Regular expression subtyping for XML query and update languages. Zbl 1133.68329
Cheney, James
1
2008
Completeness and Herbrand theorems for nominal logic. Zbl 1100.03016
Cheney, James
9
2006
Equivariant unification. Zbl 1078.03026
Cheney, James
4
2005
Avoiding equivariance in Alpha-Prolog. Zbl 1114.68027
Urban, Christian; Cheney, James
4
2005
A simpler proof theory for nominal logic. Zbl 1119.03023
Cheney, James
4
2005
Scrap your nameplate (functional pearl). Zbl 1302.68056
Cheney, James
1
2005
\(\alpha\)Prolog: a logic programming language with names, binding and \(\alpha\)-equivalence. Zbl 1104.68370
Cheney, James; Urban, Christian
18
2004
The complexity of equivariant unification. Zbl 1098.03023
Cheney, James
6
2004
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

Citations by Year