Enriching an effect calculus with linear types

Jeff Egger; Rasmus Ejlers Møgelberg; Alex Simpson

doi:10.1007/978-3-642-04027-6

Enriching an effect calculus with linear types

Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson

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

Original language	English
Title of host publication	Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	240-254
Number of pages	15
ISBN (Print)	978-3-642-04026-9
DOIs	https://doi.org/10.1007/978-3-642-04027-6
Publication status	Published - 2009

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer-Verlag
Volume	5771

Access to Document

10.1007/978-3-642-04027-6

enriched-effect-calculusAccepted author manuscript, 226 KB

http://portal.acm.org/citation.cfm?id=1807662.1807684

Cite this

@inproceedings{f9690824823947a2a5309c94c6a3d5ec,

title = "Enriching an effect calculus with linear types",

author = "Jeff Egger and M{\o}gelberg, {Rasmus Ejlers} and Alex Simpson",

year = "2009",

doi = "10.1007/978-3-642-04027-6",

language = "English",

isbn = "978-3-642-04026-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "240--254",

booktitle = "Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic",

address = "United Kingdom",

}

Enriching an effect calculus with linear types. / Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex.
Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic. Berlin, Heidelberg: Springer, 2009. p. 240-254 (Lecture Notes in Computer Science; Vol. 5771).

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

TY - GEN

T1 - Enriching an effect calculus with linear types

AU - Egger, Jeff

AU - Møgelberg, Rasmus Ejlers

AU - Simpson, Alex

PY - 2009

Y1 - 2009

UR - http://www.scopus.com/inward/record.url?scp=70350363085&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-04027-6

DO - 10.1007/978-3-642-04027-6

M3 - Conference contribution

SN - 978-3-642-04026-9

T3 - Lecture Notes in Computer Science

SP - 240

EP - 254

BT - Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic

PB - Springer

CY - Berlin, Heidelberg

ER -

Enriching an effect calculus with linear types

Publication series

Access to Document

Other files and links

Linear Observations & Computational Effects

Cite this

Enriching an effect calculus with linear types

Publication series

Access to Document

Other files and links

Projects

Linear Observations & Computational Effects

Cite this