Periodic Reporting for period 4 - Skye (A programming language bridging theory and practice for scientific data curation)

Science is increasingly data-driven. Scientific research funders now routinely mandate open publication of publicly-funded research data. Safely reusing such data currently requires labour-intensive curation. Provenance recording the history and derivation of the data is...