Stateful runners of effectful computations
author
statement of authorship
Tarmo Uustalu
journal volume number month
Vol. 319
year of publication
pages
p. 403-421
ISSN
1571-0661
notes
Allika pealkiri ka: The 31st Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXI)
Bibliogr.: 13 ref
language
inglise
subject term
TTÜ department
Uustalu, T. Stateful runners of effectful computations // Electronic notes in theoretical computer science (2015) Vol. 319, p. 403-421. http://dx.doi.org/10.1016/j.entcs.2015.12.024