Planned intervention: On Wednesday June 26th 05:30 UTC Zenodo will be unavailable for 10-20 minutes to perform a storage cluster upgrade.
Published May 4, 2020 | Version v1
Other Open

Additional proofs and code for "Data-flow analyses as effects and graded monads"

  • 1. University of Cambridge
  • 2. University of Kent


This deposit provides code and additional proofs associated to the paper "Data-flow analyses as effects and graded monads" appearing at FSCD 2020 (5th International Conference On Formal Structures for Computation and Deduction).


Files (420.2 kB)

Name Size Download all
5.4 kB Preview Download
388.0 kB Preview Download
26.8 kB Download

Additional details

Related works

Is supplement to
Conference paper: 10.4230/LIPIcs.FSCD.2020.15 (DOI)