The delay monad and restriction categories
Uustalu, Tarmo
;
Veltri, Niccolo
Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium Hanoi, Vietnam, October 23-27, 2017 : proceedings
2017
/
p. 32-50
https://doi.org/10.1007/978-3-319-67729-3_3
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-85031432824&origin=inward&txGid=326d24058c62d369f52d7a2fefa400ae
https://www.webofscience.com/wos/woscc/full-record/WOS:000516829800003