Linearly-used state in models of call-by-value
- ,
- Sam Staton
- University of Cambridge
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-review
Open access
Publication Information
Output type
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-reviewOriginal language
EnglishPages from-to (Number of pages)
Pages 298-313 (15 pages)Publication milestones
- Published - 2011
Publication status
Published - 2011
Publisher
Springer, United States, GermanyISBN (Print)
978-3-642-22943-5 Publication IDs
- Scopus: 80053031332
Host publication title
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer sciencePublication metrics
PlumX, opens in new tab
Captures
8
Access to documents
Related Event
Title
4th Conference on Algebra and Coalgebra in Computer Science (CALCO 2011)
Event type
ConferenceDegree of recognition
International eventDate
30/08/2011 - 02/09/2011Location
WinchesterUnited Kingdom