There is a newer version of the record available.

Published January 8, 2026 | Version v2
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 (408.3 MB)

Name Size
md5:b9244063f142dcc6094415f848350814
408.3 MB Preview Download

Additional details

Software

Programming language
Haskell , Agda