James R. Cheney, Ph.D.
Affiliations: | 2004 | Cornell University, Ithaca, NY, United States |
Google:
"James Cheney"
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Ricciotti W, Cheney J. (2022) A Formalization of SQL with Nulls. Journal of Automated Reasoning. 66: 989-1030 |
| Fowler S, Harding SD, Sharman JL, et al. (2020) Cross-tier Web Programming for Curated Databases: a Case Study International Journal of Digital Curation. 15: 15 |
| Choi K, Cheney J, Fowler S, et al. (2020) A polymorphic RPC calculus Science of Computer Programming. 197: 102499 |
| Wu J, Mikolajczak A, Cheney J. (2019) TryLinks: an interactive tutorial system for a cross-tier web programming language Arxiv: Programming Languages |
| Stolarek J, Cheney J. (2018) Language-integrated provenance in Haskell Arxiv: Programming Languages. 2: 11 |
| Cheney J, Grust T. (2018) Special Issue on Programming Languages for Big Data Editorial Journal of Functional Programming. 28 |
| Perera R, Cheney J. (2017) Proof-relevant π-calculus: a constructive account of concurrency and causality Mathematical Structures in Computer Science. 28: 1541-1577 |
| Fehrenbach S, Cheney J. (2017) Language-integrated provenance Science of Computer Programming. 155: 103-145 |
| Cheney J. (2016) A Simple Sequent Calculus for Nominal Logic Journal of Logic and Computation. 26: 699-726 |
| McPhillips T, Song T, Kolisnik T, et al. (2015) YesWorkflow: A User-Oriented, Language-Independent Tool for Recovering Workflow Information from Scripts International Journal of Digital Curation. 10: 298-313 |