Linearly-used Continuations in the Enriched Effect Calculus

Jeff Egger; Rasmus Ejlers Møgelberg; Alex Simpson

doi:10.1007/978-3-642-12032-9

Linearly-used Continuations in the Enriched Effect Calculus

Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson

University of Edinburgh

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Vol/bind	6014
Sider (fra-til)	18-32
ISSN	0302-9743
DOI	https://doi.org/10.1007/978-3-642-12032-9
Status	Udgivet - 20 mar. 2010
Begivenhed	Foundations of Software Science and Computation Structures (FoSSaCS) - Varighed: 2 jul. 2010 → …

Konference

Konference	Foundations of Software Science and Computation Structures (FoSSaCS)
Periode	02/07/2010 → …

Adgang til dokumentet

10.1007/978-3-642-12032-9

Modeller og detaljerede kalkuler for eﬀekter i programmeringssprog
Møgelberg, R. E. (CoI)
01/10/2007 → 31/12/2010
Projekter: Projekt › Forskning

Citationsformater

@inproceedings{326c0b70e40311dea523000ea68e967b,

title = "Linearly-used Continuations in the Enriched Effect Calculus",

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

year = "2010",

month = mar,

day = "20",

doi = "10.1007/978-3-642-12032-9",

language = "English",

volume = "6014",

pages = "18--32",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer",

note = "Foundations of Software Science and Computation Structures (FoSSaCS) ; Conference date: 02-07-2010",

}

TY - GEN

T1 - Linearly-used Continuations in the Enriched Effect Calculus

AU - Egger, Jeff

AU - Møgelberg, Rasmus Ejlers

AU - Simpson, Alex

PY - 2010/3/20

Y1 - 2010/3/20

U2 - 10.1007/978-3-642-12032-9

DO - 10.1007/978-3-642-12032-9

M3 - Conference article

SN - 0302-9743

VL - 6014

SP - 18

EP - 32

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - Foundations of Software Science and Computation Structures (FoSSaCS)

Y2 - 2 July 2010

ER -

Linearly-used Continuations in the Enriched Effect Calculus

Konference

Adgang til dokumentet

Projekter

Modeller og detaljerede kalkuler for eﬀekter i programmeringssprog

Citationsformater