A programming language bridging theory and practice for scientific data curation

Author(s): Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney
Published in: Proceedings of the ACM on Programming Languages, Issue 1/ICFP, 2017, Page(s) 1-28, ISSN 2475-1421
DOI: 10.1145/3110258

Author(s): Jan Stolarek, James Cheney
Published in: The Art, Science, and Engineering of Programming, Issue 2 10.22152/programming-journal.org/2018/2 http://programming-journal.org/2018/2/3, 2018, ISSN 2473-7321
DOI: 10.22152/programming-journal.org/2018/2/11

Author(s): Rudi Horn, Roly Perera, James Cheney
Published in: Proceedings of the ACM on Programming Languages, Issue 2/ICFP, 2018, Page(s) 1-30, ISSN 2475-1421
DOI: 10.1145/3236769

Author(s): Ghita Berrada, James Cheney, Sidahmed Benabderrahmane, William Maxwell, Himan Mookherjee, Alec Theriault, Ryan Wright
Published in: Future Generation Computer Systems, Issue 108, 2020, Page(s) 401-413, ISSN 0167-739X
DOI: 10.1016/j.future.2020.02.015

Author(s): Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley
Published in: Science of Computer Programming, Issue 197, 2020, Page(s) 102499, ISSN 0167-6423
DOI: 10.1016/j.scico.2020.102499

Author(s): Daniel Hillerström, Sam Lindley, John Longley
Published in: Proceedings of the ACM on Programming Languages, Issue 4/ICFP, 2020, Page(s) 1-29, ISSN 2475-1421
DOI: 10.1145/3408982

Author(s): Wilmer Ricciotti, James Cheney
Published in: Theoretical Aspects of Computing – ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings, Issue 11187, 2018, Page(s) 376-395
DOI: 10.1007/978-3-030-02508-3_20

Author(s): Jan Stolarek, James Cheney
Published in: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings, Issue 11825, 2019, Page(s) 76-102
DOI: 10.1007/978-3-030-33636-3_4

Author(s): Sheung Chi Chan, James Cheney
Published in: Practical Aspects of Declarative Languages - 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings, Issue 12007, 2020, Page(s) 20-36
DOI: 10.1007/978-3-030-39197-3_2

Author(s): Sándor Bartha, James Cheney
Published in: Inductive Logic Programming - 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings, Issue 11770, 2020, Page(s) 16-25
DOI: 10.1007/978-3-030-49210-6_2

Author(s): Stefan Fehrenbach, James Cheney
Published in: Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages - DBPL 2019, 2019, Page(s) 74-84
DOI: 10.1145/3315507.3330198

Author(s): Anthony Anjorin, James Cheney
Published in: 11th Workshop on Theory and Practice of Provenance (TaPP 2019), 2019

Author(s): Wilmer Ricciotti, James Cheney
Published in: Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages - DBPL 2019, 2019, Page(s) 70-73
DOI: 10.1145/3315507.3330202

Author(s): Junao Wu, Arek Mikolajczak, James Cheney
Published in: Proceedings of the 3rd International Companion Conference on Art, Science, and Engineering of Programming - Programming '19, 2019, Page(s) 1-6
DOI: 10.1145/3328433.3328450

Author(s): Sheung Chi Chan, James Cheney, Pramod Bhatotia, Thomas Pasquier, Ashish Gehani, Hassaan Irshad, Lucian Carata, Margo Seltzer
Published in: Proceedings of the 20th International Middleware Conference, 2019, Page(s) 268-279
DOI: 10.1145/3361525.3361552

Author(s): Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates
Published in: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 2020, Page(s) 423-437
DOI: 10.1145/3385412.3386003

Author(s): Wilmer Riciotti, James Cheney
Published in: 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Issue 167, 2020, Page(s) 28:1-28:22
DOI: 10.4230/lipics.fscd.2020.28

Author(s): Jan Stolarek, Przemyslaw Nowak
Published in: Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020, Page(s) 887-893
DOI: 10.1145/3328778.3366886

Author(s): Simon Fowler, Simon Harding, Joanna Sharman, James Cheney
Published in: International Journal of Digital Curation, Issue 15/1, 2020, Page(s) 15, ISSN 1746-8256
DOI: 10.2218/ijdc.v15i1.717