## Gordon D. Plotkin, Matija Pretnar

*A Logic for Algebraic Effects*

LICS, 2008.

@inproceedings{LICS-2008-PlotkinP, author = "Gordon D. Plotkin and Matija Pretnar", booktitle = "{Proceedings of the 23rd Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2008.45", isbn = "978-0-7695-3183-0", pages = "118--129", publisher = "{IEEE Computer Society}", title = "{A Logic for Algebraic Effects}", year = 2008, }