Projects
People
Dr Matthew Brett
Turing Fellow
Professor Conrad Bessant
Turing FellowEvents
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
Publications and software
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
