Update monads: Cointerpreting directed containers
Ahman, Danel
;
Uustalu, Tarmo
19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013, Toulouse, France
2014
/
p. 1-23 : ill
https://doi.org/10.4230/LIPIcs.TYPES.2013.1
https://www.scopus.com/sourceid/21100244929
https://www.scopus.com/record/display.uri?eid=2-s2.0-84907731424&origin=inward&txGid=17140a8449c63582385a4010066b6385