Projects
Programmes
Publications and software
Cross-tier web programming for curated databases: a case study
Curated databases have become important sources of information across scientific disciplines, and due to...
Cross-tier web programming for curated databases: a case study, Simon Fowler, Simon Harding, Joanna Sharman, and James Cheney. IJDC 16(1), 2021.
Mixing set and bag semantics
The conservativity theorem for nested relational calculus implies that query expressions can freely use...
Mixing set and bag semantics, Wilmer Ricciotti and James Cheney, DBPL 2019
Language-integrated provenance by trace analysis
Language-integrated provenance builds on language-integrated query techniques to make provenance information explaining query results...
Language-integrated provenance by trace analysis, Stefan Fehrenbach and James Cheney, DBPL 2019
TryLinks: An interactive tutorial system for a cross-tier Web programming language
Links is a web programming language under development in Edinburgh aimed at simplifying web...
TryLinks: An interactive tutorial system for a cross-tier Web programming language, Junao Wu, Arek Mikolajczak, and James Cheney, ProWeb 2019
Events
Reliability and reproducibility in computational science
Friday 24 Jan 2020
Time: 09:30 - 17:00
Visualization for data science and AI
Friday 13 Sep 2019
Time: 09:45 - 18:30
Masterclass: F# and Functional Languages
Monday 20 Feb 2017
Time: 17:37
Interest groups
People
Dr Tim Sullivan
Turing Fellow
Dr Mona Faraji Niri
Turing Fellow
Professor Trevor Martin
Turing Fellow
Dr Cagatay Turkay
Turing Fellow
Professor Lee Chapman
Turing Fellow
Professor Richard Harris
Turing Fellow
Professor Thomas Gorochowski
Turing Fellow
Dr Sarah Elizabeth Heaps
Turing Fellow