## Patricia Johann, Alex Simpson, Janis Voigtländer

*A Generic Operational Metatheory for Algebraic Effects*

LICS, 2010.

@inproceedings{LICS-2010-JohannSV, author = "Patricia Johann and Alex Simpson and Janis Voigtländer", booktitle = "{Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2010.29", isbn = "978-0-7695-4114-3", pages = "209--218", publisher = "{IEEE Computer Society}", title = "{A Generic Operational Metatheory for Algebraic Effects}", year = 2010, }