Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq. - Robbert Krebbers; Louis Parlant; Alexandra Silva 001 (Theory and Practice of Formal Methods, 2016)

Layer by Layer - Combining Monads. - Fredrik Dahlqvist; Louis Parlant; Alexandra Silva 001 (ICTAC, 2018)

Preservation of Equations by Monoidal Monads. - Louis Parlant; Jurriaan Rot; Alexandra Silva 001; Bas Westerbaan (MFCS, 2020)

Monad composition via preservation of algebras. - Louis Parlant (2020)