@inproceedings{DBLP:conf/lics/PlotkinP08,
author = {Gordon D. Plotkin and
Matija Pretnar},
title = {A Logic for Algebraic Effects},
booktitle = {LICS},
year = {2008},
pages = {118-129},
ee = {http://doi.ieeecomputersociety.org/10.1109/LICS.2008.45},
crossref = {DBLP:conf/lics/2008},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/lics/2008,
title = {Proceedings of the Twenty-Third Annual IEEE Symposium on
Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh,
PA, USA},
booktitle = {LICS},
publisher = {IEEE Computer Society},
year = {2008},
isbn = {978-0-7695-3183-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
