Linearly−Used State in Models of Call−by−Value
Rasmus Ejlers Møgelberg and Sam Staton
Book Title
Algebra and Coalgebra in Computer Science − 4th International Conference‚ CALCO 2011‚ Winchester‚ UK‚ August 30 − September 2‚ 2011. Proceedings
Editor
Andrea Corradini and Bartek Klin and Corina Cîrstea
Pages
298–313
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
6859
Year
2011