• Codensity lifting of monads and its dualKatsumata, Shin-ya; Sato, Tetsuya; Uustalu, TarmoLogical methods in computer science2018 / p. 1-31 https://doi.org/10.23638/LMCS-14(4:6)2018 https://www.scopus.com/sourceid/19700175752 https://www.scopus.com/record/display.uri?eid=2-s2.0-85060190543&origin=inward&txGid=1fcc624b45f06172a481c80ebb9737d6 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000452745300024
• Combining effects and coeffects via gradingGaboardi, Marco; Katsumata, Shin-ya; Orchard, Dominic; Breuvart, Flavien; Uustalu, TarmoICFP 2016 : proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming : Nara, Japan, September 18-24, 20162016 / p. 476-489 https://doi.org/10.1145/2951913.2951939
• Flexible presentations of graded monadsKatsumata, Shin-ya; McDermott, Dylan; Uustalu, Tarmo; Wu, NicolasProceedings of the ACM on Programming Languages2022 / 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
• Interaction laws of monads and comonadsKatsumata, Shin-ya; Rivas, Exequiel; Uustalu, TarmoarXiv.org2019 / 28 p. : ill https://arxiv.org/abs/1912.13477
• Interaction laws of monads and comonadsKatsumata, Shin-ya; Rivas, Exequiel; Uustalu, TarmoProceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020) : July 8-11, 2020 Saarbrücken, Germany2020 / p. 604-618 https://doi.org/10.1145/3373718.3394808 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85085952830&origin=inward&txGid=f00bae0d51eabbd9b2e8867922f2cfed https://www.webofscience.com/wos/woscc/full-record/WOS:000665014900047
• Interaction morphisms [extended abstract]Katsumata, Shin-ya; Uustalu, TarmoCoALP-Ty'16 : pre-proceedings of the Workshop on Coalgebra, Horn Clause Logic Programming and Types : November 28-29, 2016, Edinburgh, UK2016 / p. 7-8 https://arxiv.org/pdf/1612.03032.pdf