Skip to main navigation Skip to search Skip to main content

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

  • Sandor Bartha (Creator)

Dataset

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

Data Citation

Sandor Bartha. (2021). One Down, 699 to Go: or, synthesising compositional desugarings - artefact. Zenodo. https://doi.org/10.5281/zenodo.5475211
Date made available6 Sept 2021
PublisherZenodo

Access Dataset

Cite this