Ross Tate
The sequential semantics of producer effect systems
POPL, 2013.
@inproceedings{POPL-2013-Tate, author = "Ross Tate", booktitle = "{Proceedings of the 40th Annual Symposium on Principles of Programming Languages}", doi = "10.1145/2429069.2429074", editor = "Roberto Giacobazzi and Radhia Cousot", isbn = "978-1-4503-1832-7", pages = "15--26", publisher = "{ACM}", title = "{The sequential semantics of producer effect systems}", year = 2013, }