Mixing set and bag semantics

Wilmer Ricciotti, James Cheney

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 results

Filter

Finished
Turing Fellowship
Cheney, J. (Principal Investigator)
UK-based charities
1/09/18 → 30/09/23
Project: Research
Mechanising the metatheory of SQL with NULLS
Ricciotti, W. (Principal Investigator) & Cheney, J. (Co-investigator)
UK central government bodies/local authorities, health and hospital authorities
1/08/17 → 31/03/18
Project: Research
Skye-A programming language bridging theory and practice for scientific data curation
Cheney, J. (Principal Investigator)
EU government bodies
1/09/16 → 28/02/23
Project: Research