figshare
Browse
ifl19-artifact.zip (152.14 MB)

Artifact for "Language-Integrated Updatable Views"

Download (152.14 MB)
Version 2 2020-10-20, 08:35
Version 1 2020-02-28, 14:55
software
posted on 2020-10-20, 08:35 authored by Rudi Horn, Simon FowlerSimon Fowler, James Cheney
This is the software artifact associated with the IFL'19 paper "Language-Integrated Updatable Views" by Rudi Horn, Simon Fowler, and James Cheney.

The software is packaged as a Docker image and contains the Links implementation and the case study described in the paper.

The artifact includes a README.md file which describes how to run the file.

Funding

ERC Consolidator Grant Skye (grant number 682315)

History