@inproceedings{productors,
  author = {Tate, Ross},
  title = {The Sequential Semantics of Producer Effect Systems},
  booktitle = {{POPL} '13: Proceedings of the 40th annual {ACM} {SIGPLAN-SIGACT} symposium on Principles of Programming Languages},
  year = {2013},
  location = {Rome, Italy},
  publisher = {{ACM}},
  address = {New York, NY, USA},
  url = {http://www.cs.cornell.edu/~ross/publications/productors/}
}