figshare
Browse

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

Usage metrics

    Categories

    Keywords

    dockerprogramming languagesview-update problemupdatable viewsfunctional programminglensesComputer SoftwareProgramming Languages

    Licence

    CC BY 4.0

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC