Linearly-used state in models of call-by-value

Rasmus Ejlers Møgelberg; Sam Staton

doi:10.1007/978-3-642-22944-2

Linearly-used state in models of call-by-value

Rasmus Ejlers Møgelberg
, Sam Staton

University of Cambridge

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Number of pages	15
Publisher	Springer
Publication date	2011
Pages	298-313
ISBN (Print)	978-3-642-22943-5
DOIs	https://doi.org/10.1007/978-3-642-22944-2
Publication status	Published - 2011
Event	4th Conference on Algebra and Coalgebra in Computer Science (CALCO 2011) - Winchester, United Kingdom Duration: 30 Aug 2011 → 2 Sept 2011 Conference number: 4th http://calco2011.ecs.soton.ac.uk/

Conference

Conference	4th Conference on Algebra and Coalgebra in Computer Science (CALCO 2011)
Number	4th
Country/Territory	United Kingdom
City	Winchester
Period	30/08/2011 → 02/09/2011
Internet address	http://calco2011.ecs.soton.ac.uk/

Access to Document

10.1007/978-3-642-22944-2

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

Cite this

@inproceedings{0314c1efdd2049bca52688709800e685,

title = "Linearly-used state in models of call-by-value",

author = "M{\o}gelberg, \{Rasmus Ejlers\} and Sam Staton",

year = "2011",

doi = "10.1007/978-3-642-22944-2",

language = "English",

isbn = "978-3-642-22943-5 ",

pages = "298--313",

booktitle = "CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science",

publisher = "Springer",

address = "Germany",

note = "4th Conference on Algebra and Coalgebra in Computer Science (CALCO 2011) ; Conference date: 30-08-2011 Through 02-09-2011",

url = "http://calco2011.ecs.soton.ac.uk/",

}

TY - GEN

T1 - Linearly-used state in models of call-by-value

AU - Møgelberg, Rasmus Ejlers

AU - Staton, Sam

N1 - Conference code: 4th

PY - 2011

Y1 - 2011

U2 - 10.1007/978-3-642-22944-2

DO - 10.1007/978-3-642-22944-2

M3 - Article in proceedings

SN - 978-3-642-22943-5

SP - 298

EP - 313

BT - CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science

PB - Springer

T2 - 4th Conference on Algebra and Coalgebra in Computer Science (CALCO 2011)

Y2 - 30 August 2011 through 2 September 2011

ER -

Linearly-used state in models of call-by-value

Conference

Access to Document

Projects

Modeller og detaljerede kalkuler for eﬀekter i programmeringssprog

Cite this