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

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Antal sider	15
Forlag	Springer
Publikationsdato	2011
Sider	298-313
ISBN (Trykt)	978-3-642-22943-5
DOI	https://doi.org/10.1007/978-3-642-22944-2
Status	Udgivet - 2011
Begivenhed	4th Conference on Algebra and Coalgebra in Computer Science (CALCO 2011) - Winchester, Storbritannien Varighed: 30 aug. 2011 → 2 sep. 2011 Konferencens nummer: 4th http://calco2011.ecs.soton.ac.uk/

Konference	4th Conference on Algebra and Coalgebra in Computer Science (CALCO 2011)
Nummer	4th
Land/Område	Storbritannien
By	Winchester
Periode	30/08/2011 → 02/09/2011
Internetadresse	http://calco2011.ecs.soton.ac.uk/

Adgang til dokumentet

@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 -