A Generic Approach to Flow-Sensitive Polymorphic Effects (Extended Version)

Gordon, Colin S.

number arXiv cs.PL 1705.02264, May 2017

url arXiv

Bibtex

@techreport{arxivQuantales,
  title = {{A Generic Approach to Flow-Sensitive Polymorphic Effects (Extended Version)}},
  author = {Gordon, Colin S.},
  year = {2017},
  month = {May},
  bibtex_show = {true},
  institution = {{Computing Research Repository (CoRR)}},
  number = {arXiv cs.PL 1705.02264},
  eprint = {1705.02264},
  arxiv = {1705.02264},
  pdf = {papers/quantalestr.pdf},
  url = {https://arxiv.org/abs/1705.02264}
}