Shin-ya Katsumata
Parametric effect monads and semantics of effect systems
POPL, 2014.
@inproceedings{POPL-2014-Katsumata, author = "Shin-ya Katsumata", booktitle = "{Proceedings of the 41st Symposium on Principles of Programming Languages}", doi = "10.1145/2535838.2535846", editor = "Suresh Jagannathan and Peter Sewell", isbn = "978-1-4503-2544-8", pages = "633--646", publisher = "{ACM}", title = "{Parametric effect monads and semantics of effect systems}", year = 2014, }