Other Open Access

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

Andrej Ivaskovic; Alan Mycroft; Dominic Orchard

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
dataflow-effects-as-grades-fscd2020.zip
md5:eada1d7041c6a272461288d1eb87d500
5.4 kB Download
extra-proofs.pdf
md5:188649e5a084f5305cbf7a552837ada3
388.0 kB Download
GradedMonad.agda
md5:e479c03d2314056f9c8a61701ad87450
26.8 kB Download
136
35
views
downloads
All versions This version
Views 136136
Downloads 3535
Data volume 9.9 MB9.9 MB
Unique views 119119
Unique downloads 2121

Share

Cite as