Reliability and reproducibility in computational science
Friday 24 Jan 2020
Time: 09:30 - 17:00
Search
Programming languages
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
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
Romy Beauté
Enrichment Student
Pauline Luise Pfuderer
Enrichment Student
Paul-David Zuercher
Enrichment Student
Matthew Faith
Enrichment Student
David Barragan Alcantar
Enrichment Student
Professor Trevor Martin
Professor of AI