Parametric Effect Monads and Semantics of Effect Systems
S. Katsumata. Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, page 633--645. New York, NY, USA, ACM, (2014)
DOI: 10.1145/2535838.2535846
Description
Parametric effect monads and semantics of effect systems
%0 Conference Paper
%1 katsumata2014parametric
%A Katsumata, Shin-ya
%B Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
%C New York, NY, USA
%D 2014
%I ACM
%K effect monad parametric
%P 633--645
%R 10.1145/2535838.2535846
%T Parametric Effect Monads and Semantics of Effect Systems
%U http://doi.acm.org/10.1145/2535838.2535846
%@ 978-1-4503-2544-8
@inproceedings{katsumata2014parametric,
acmid = {2535846},
added-at = {2015-01-18T10:27:00.000+0100},
address = {New York, NY, USA},
author = {Katsumata, Shin-ya},
biburl = {https://www.bibsonomy.org/bibtex/242f0b1dd147f3ff34c76bd80da81851b/t.uemura},
booktitle = {Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
description = {Parametric effect monads and semantics of effect systems},
doi = {10.1145/2535838.2535846},
interhash = {f579f60a39f71dff4a174cd5d910b624},
intrahash = {42f0b1dd147f3ff34c76bd80da81851b},
isbn = {978-1-4503-2544-8},
keywords = {effect monad parametric},
location = {San Diego, California, USA},
numpages = {13},
pages = {633--645},
publisher = {ACM},
series = {POPL '14},
timestamp = {2015-01-18T10:27:00.000+0100},
title = {Parametric Effect Monads and Semantics of Effect Systems},
url = {http://doi.acm.org/10.1145/2535838.2535846},
year = 2014
}