• Coalgebraic update lensesAhman, Danel; Uustalu, TarmoElectronic notes in theoretical computer science2014 / p. 25-48 : ill https://doi.org/10.1016/j.entcs.2014.10.003 https://www.scopus.com/sourceid/20569 https://www.scopus.com/record/display.uri?eid=2-s2.0-84908384283&origin=inward&txGid=d4363c11cd6b22935a6315e99ca27f32
• 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
• Distributive laws of directed containersAhman, Danel; Uustalu, TarmoProgress in Informatics2013 / p. 3-18 https://doi.org/10.2201/NiiPi.2013.10.2 https://www.scopus.com/sourceid/144630 https://www.scopus.com/record/display.uri?eid=2-s2.0-84877657005&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.2201%2FNiiPi.2013.10.2%29