A Generic Operational Metatheory for Algebraic Effects

Patricia Johann, Alex Simpson, Janis Voigtlander

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	2010 25th Annual IEEE Symposium on Logic in Computer Science
Place of Publication	Los Alamitos, CA, USA
Publisher	Institute of Electrical and Electronics Engineers
Pages	209-218
Number of pages	10
ISBN (Electronic)	978-1-4244-7589-6
ISBN (Print)	978-1-4244-7588-9
DOIs	https://doi.org/10.1109/LICS.2010.29
Publication status	Published - 2010

Access to Document

Linear Observations & Computational Effects
Simpson, A.
EPSRC
1/04/08 → 31/03/11
Project: Research

@inproceedings{f69bfcf0f13548058570a860cfbe6c4b,

title = "A Generic Operational Metatheory for Algebraic Effects",

author = "Patricia Johann and Alex Simpson and Janis Voigtlander",

year = "2010",

doi = "10.1109/LICS.2010.29",

language = "English",

isbn = "978-1-4244-7588-9",

pages = "209--218",

booktitle = "2010 25th Annual IEEE Symposium on Logic in Computer Science",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

}

TY - GEN

T1 - A Generic Operational Metatheory for Algebraic Effects

AU - Johann, Patricia

AU - Simpson, Alex

AU - Voigtlander, Janis

PY - 2010

Y1 - 2010

U2 - 10.1109/LICS.2010.29

DO - 10.1109/LICS.2010.29

M3 - Conference contribution

SN - 978-1-4244-7588-9

SP - 209

EP - 218

BT - 2010 25th Annual IEEE Symposium on Logic in Computer Science

PB - Institute of Electrical and Electronics Engineers

CY - Los Alamitos, CA, USA

ER -