Skip to main content
European Commission logo
English English
CORDIS - EU research results
CORDIS
CORDIS Web 30th anniversary CORDIS Web 30th anniversary

A programming language bridging theory and practice for scientific data curation

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Cross-tier web programming for curated databases: a case study

Author(s): Simon Fowler, Simon Harding, Joanna Sharman, and James Cheney
Published in: International Journal of Digital Curation, Issue 16(1), 2021, ISSN 1746-8256
Publisher: University of Edinburgh
DOI: 10.2218/ijdc.v16i1.735

A Formalization of SQL with Nulls.

Author(s): Wilmer Ricciotti; James Cheney
Published in: Journal of Automated Reasoning, Issue 66(4), 2022, Page(s) 989-1030, ISSN 1573-0670
Publisher: Springer
DOI: 10.48550/arxiv.2003.11331

Constraint-based type inference for FreezeML

Author(s): Frank Emrich, Jan Stolarek, James Cheney, Sam Lindley
Published in: Proceedings of the ACM on Programming Languages, Issue 6(ICFP), 2022, Page(s) 111:570-595, ISSN 2475-1421
Publisher: ACM
DOI: 10.1145/3547642

Imperative functional programs that explain their work

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
Publisher: ACM
DOI: 10.1145/3110258

Language-integrated provenance in Haskell

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
Publisher: AOSA
DOI: 10.22152/programming-journal.org/2018/2/11

Incremental relational lenses

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
Publisher: ACM
DOI: 10.1145/3236769

A baseline for unsupervised advanced persistent threat detection in system-level provenance

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
Publisher: Elsevier BV
DOI: 10.1016/j.future.2020.02.015

A polymorphic RPC calculus

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
Publisher: Elsevier BV
DOI: 10.1016/j.scico.2020.102499

Effects for efficiency: asymptotic speedup with first-class control

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
Publisher: ACM
DOI: 10.1145/3408982

Strongly-Normalizing Higher-Order Relational Queries

Author(s): Ricciotti, Wilmer; Cheney, James
Published in: Logical Methods in Computer Science, Issue 18(3), 2022, Page(s) 23:1-23:41, ISSN 1860-5974
Publisher: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-18(3:23)2022

Integrity Checking and Abnormality Detection of Provenance Records

Author(s): Sheung Chi Chan, Ashish Gehani, Hassaan Irshad, James Cheney
Published in: 12th International Workshop on Theory and Practice of Provenance (TaPP 2020), 2020
Publisher: USENIX

Provenance expressiveness benchmarking on non-deterministic executions

Author(s): Sheung Chi Chan, James Cheney, Pramod Bhatotia
Published in: 13th International Workshop on Theory and Practice of Provenance (TaPP 2021), 2021
Publisher: USENIX

A Typed Slicing Compilation of the Polymorphic RPC calculus

Author(s): Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders
Published in: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021, Page(s) 1-15, ISBN 9781450386890
Publisher: ACM
DOI: 10.1145/3479394.3479406

Language-Integrated Query for Temporal Data

Author(s): Simon Fowler; Vashti Galpin; James Cheney
Published in: Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences . pp. 5-19 , The 21st International Conference on Generative Programming: Concepts & Experiences,, 2022, Page(s) 5-19, ISBN 978-1-4503-9920-3
Publisher: ACM
DOI: 10.1145/3564719.3568690

Model-View-Update-Communicate: Session Types meet the Elm Architecture

Author(s): Simon Fowler
Published in: 34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020, Page(s) 14:1--14:28, ISBN 978-3-95977-154-2
Publisher: Schloss Dagstuhl--Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.ecoop.2020.14

One down, 699 to go: or, synthesising compositional desugarings

Author(s): Sándor Bartha; James Cheney; Vaishak Belle
Published in: Proceedings of the ACM on Programming Languages, Issue 5(OOPSLA), 2021, Page(s) 122:1-122:29, ISSN 2475-1421
Publisher: ACM
DOI: 10.48550/arxiv.2109.06114

Language-integrated provenance by trace analysis

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, ISBN 9781-450367189
Publisher: ACM Press
DOI: 10.1145/3315507.3330198

Provenance meets bidirectional transformations

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

Mixing set and bag semantics

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, ISBN 9781-450367189
Publisher: ACM Press
DOI: 10.1145/3315507.3330202

TryLinks - an interactive tutorial system for a cross-tier web programming language

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, ISBN 9781-450362573
Publisher: ACM Press
DOI: 10.1145/3328433.3328450

ProvMark - A Provenance Expressiveness Benchmarking System

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, ISBN 9781-450370097
Publisher: ACM
DOI: 10.1145/3361525.3361552

FreezeML: complete and easy type inference for first-class polymorphism

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, ISBN 9781-450376136
Publisher: ACM
DOI: 10.1145/3385412.3386003

Strongly Normalizing Higher-Order Relational Queries

Author(s): Wilmer Ricciotti, 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, ISBN 978-3-95977-155-9
Publisher: Schloss Dagstuhl--Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.fscd.2020.28

A Modular, Practical Test for a Programming Course

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

Language-integrated updatable views

Author(s): Rudi Horn, Simon Fowler, James Cheney
Published in: Proceedings of the 31st Symposium on Implementation and Application of Functional Languages, 2019, Page(s) 1-12, ISBN 9781450375627
Publisher: ACM
DOI: 10.1145/3412932.3412945

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language

Author(s): Paul Harvey, Simon Fowler, Ornela Dardha,Simon J. Gay
Published in: 35th European Conference on Object-Oriented Programming (ECOOP 2021), 2021, ISBN 978-3-95977-190-0
Publisher: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.ecoop.2021.10

Nominal Matching Logic

Author(s): James Cheney; Maribel Fernandez
Published in: PPDP '22: Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming, 2022, Page(s) 5:1-15, ISBN 978-1-4503-9703-2
Publisher: ACM

A Rule Mining-based Advanced Persistent Threats Detection System

Author(s): Sidahmed Benabderrahmane, Ghita Berrada, James Cheney, Petko Valtchev
Published in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Page(s) 3589-3596, ISBN 978-0-9992411-9-6
Publisher: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2021/494

Comprehending nulls

Author(s): James Cheney; Wilmer Ricciotti
Published in: Proceedings of the 18th International Symposium on Database Programming Languages, 2021, Page(s) 3-6, ISBN 978-1-4503-8646-3
Publisher: ACM
DOI: 10.1145/3475726.3475730

Data provenance, curation and quality in metrology

Author(s): James Cheney, Adriane Chapman, Joy Davidson, Alistair Forbes
Published in: Advanced Mathematical and Computational Tools in Metrology and Testing XII, 2022, Page(s) 167-187, ISBN 978-981-124-239-7
Publisher: World Scientific
DOI: 10.1142/9789811242380_0009

Query Lifting - Language-integrated query for heterogeneous nested collections

Author(s): Wilmer Ricciotti, James Cheney
Published in: Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Issue 12648, 2021, Page(s) 579-606, ISBN 978-3-030-72018-6
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-72019-3_21

Explicit Auditing

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, ISBN 978-3-030-02507-6
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-02508-3_20

Verified Self-Explaining Computation

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, ISBN 978-3-030-33635-6
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-33636-3_4

Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming

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, ISBN 978-3-030-39196-6
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-39197-3_2

Towards Meta-interpretive Learning of Programming Language Semantics

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, ISBN 978-3-030-49209-0
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-49210-6_2

Curating Covid-19 Data in Links

Author(s): Vashti Galpin, James Cheney
Published in: Provenance and Annotation of Data and Processes - 8th and 9th International Provenance and Annotation Workshop, IPAW 2020 + IPAW 2021, Virtual Event, July 19–22, 2021, Proceedings, Issue 12839, 2021, Page(s) 237-243, ISBN 978-3-030-80959-1
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-80960-7_19

Cross-tier Web Programming for Curated Databases: a Case Study

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
Publisher: International journal of digital curation
DOI: 10.2218/ijdc.v15i1.717

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available