Other Open Access

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

Andrej Ivaskovic; Alan Mycroft; Dominic Orchard


BibTeX Export

@misc{andrej_ivaskovic_2020_3784967,
  author       = {Andrej Ivaskovic and
                  Alan Mycroft and
                  Dominic Orchard},
  title        = {{Additional proofs and code for "Data-flow analyses 
                   as effects and graded monads"}},
  month        = may,
  year         = 2020,
  publisher    = {Zenodo},
  doi          = {10.5281/zenodo.3784967},
  url          = {https://doi.org/10.5281/zenodo.3784967}
}
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