Published September 6, 2021 | Version v1

One Down, 699 to Go: or, synthesising compositional desugarings - artefact

Authors/Creators

  • 1. The University of Edinburgh, UK

Description

Source code to reproduce the case studies of the paper

"One Down, 699 to Go: or, synthesising compositional desugarings", Sándor Bartha, James Cheney, Vaishak Belle, OOPSLA 2021

 

Files

Files (168.7 kB)

Name Size Download all
md5:85959905f1fbd51ece1d6a9c84f32ff7
168.7 kB Download

Additional details

Funding

European Commission
Skye - A programming language bridging theory and practice for scientific data curation 682315