Flexibly graded monads and graded algebrasMcDermott, Dylan; Uustalu, TarmoMathematics of Program Construction : 14th International Conference on Mathematics of Program Construction, MPC 2022, Tblilisi, September 26-28, 2022 : proceedings2022 / p. 102-128 : ill https://doi.org/10.1007/978-3-031-16912-0_4 Conference Proceeding at Scopus Article at Scopus Article at WOS Conference proceeding at WOS

Streams of approximations, equivalence of recursive effectful programsVeltri, Niccolo; Voorneveld, NielsMathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings2022 / p. 198-221 : ill https://doi.org/10.1007/978-3-031-16912-0_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS