Published January 20, 2026 | Version v4
Software Open

Lenses for Partially-Specified States (Artifact)

Authors/Creators

  • 1. ROR icon Tohoku University
  • 2. ROR icon University of Bristol

Description

Artifact for the paper "Lenses for Partially-Specified States" (ESOP 2026).

The artifact includes two parts:

  • A prototype implementation of partially-specified lenses to confirm the behavior described in Section 2.
  • An Agda mechanization of the paper's definitions, examples, lemmas, and theorems.

Repositories

Files

artifact.zip

Files (790.6 MB)

Name Size
md5:f802a932a971479dc5cc85d9a42260de
790.6 MB Preview Download

Additional details

Software

Programming language
Haskell , Agda