Additional proofs and code for "Data-flow analyses as effects and graded monads"
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).
extra-proofs.pdf provides additional proofs not included in the appendix of the published paper for space reasons.
GradedMonad.agda provides further mechanised proofs, referred to from extra-proofs.pdf
dataflow-effects-as-grades-fscd2020.zip provides the source code corresponding to Section 4.4 and Appendix B