There is a newer version of the record available.

Published January 8, 2026 | Version v1
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).

Files

artifact.zip

Files (408.3 MB)

Name Size
md5:7b81151bcb66c716b8345ebe8564631f
408.3 MB Preview Download

Additional details

Software

Programming language
Haskell , Agda