Flexible presentations of graded monads
Katsumata, Shin-ya
;
McDermott, Dylan
;
Uustalu, Tarmo
;
Wu, Nicolas
Proceedings of the ACM on Programming Languages
2022
/
art. 123, 28 p
https://doi.org/10.1145/3547654
https://www.scopus.com/sourceid/21101020042
https://www.scopus.com/record/display.uri?eid=2-s2.0-85139198557&origin=inward&txGid=e75ae01255c4cd5b231f0881396286c0
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20ACM%20PROGRAM%20LANG&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000851562000034