Stateful runners of effectful computations
Uustalu, Tarmo
Electronic notes in theoretical computer science
2015
/
p. 403-421
https://doi.org/10.1016/j.entcs.2015.12.024
https://www.scopus.com/sourceid/20569
https://www.scopus.com/record/display.uri?eid=2-s2.0-84951730054&origin=inward&txGid=f9778112c5d584f3a973699dac5c8f18