A systematic derivation of the STG machine verified in Coq. - Maciej Piróg; Dariusz Biernacki (Haskell, 2010)

Tracing monadic computations and representing effects - Maciej Piróg; Jeremy Gibbons (MSFP, 2012)

Monads for Behaviour. - Maciej Piróg; Jeremy Gibbons (MFPS, 2013)

The Coinductive Resumption Monad. - Maciej Piróg; Jeremy Gibbons (MFPS, 2014)

Modules Over Monads and Their Algebras. - Maciej Piróg; Nicolas Wu; Jeremy Gibbons (CALCO, 2015)

From Push/Enter to Eval/Apply by Program Transformation. - Maciej Piróg; Jeremy Gibbons (WoC, 2015)

String diagrams for free monads (functional pearl). - Maciej Piróg; Nicolas Wu (ICFP, 2016)

Eilenberg-Moore Monoids and Backtracking Monad Transformers. - Maciej Piróg (MSFP, 2016)

Tabling with Sound Answer Subsumption. - Alexander Vandenbroucke; Maciej Piróg; Benoit Desouter; Tom Schrijvers (Theory Pract. Log. Program., 2016)

Unifying Guarded and Unguarded Iteration. - Sergey Goncharov 001; Lutz Schröder; Christoph Rauch; Maciej Piróg (FoSSaCS, 2017)

Backtracking with cut via a distributive law and left-zero monoids. - Maciej Piróg; Sam Staton (J. Funct. Program., 2017)

Syntax and Semantics for Operations with Scopes. - Maciej Piróg; Tom Schrijvers; Nicolas Wu; Mauro Jaskelioff (LICS, 2018)

Handle with care: relational interpretation of algebraic effects and handlers. - Dariusz Biernacki; Maciej Piróg; Piotr Polesiuk; Filip Sieczkowski (Proc. ACM Program. Lang., 2018)

Equational Theories and Monads from Polynomial Cayley Representations. - Maciej Piróg; Piotr Polesiuk; Filip Sieczkowski (FoSSaCS, 2019)

Monad transformers and modular algebraic effects: what binds them together. - Tom Schrijvers; Maciej Piróg; Nicolas Wu; Mauro Jaskelioff (Haskell@ICFP, 2019)

Typed Equivalence of Effect Handlers and Delimited Control. - Maciej Piróg; Piotr Polesiuk; Filip Sieczkowski (FSCD, 2019)

Guarded and Unguarded Iteration for Generalized Processes. - Sergey Goncharov 001; Lutz Schröder; Christoph Rauch; Maciej Piróg (Log. Methods Comput. Sci., 2019)

Abstracting algebraic effects. - Dariusz Biernacki; Maciej Piróg; Piotr Polesiuk; Filip Sieczkowski (Proc. ACM Program. Lang., 2019)

Degrading Lists. - Dylan McDermott; Maciej Piróg; Tarmo Uustalu (PPDP, 2020)

Binders by day, labels by night: effect instances via lexically scoped handlers. - Dariusz Biernacki; Maciej Piróg; Piotr Polesiuk; Filip Sieczkowski (Proc. ACM Program. Lang., 2020)

High-level effect handlers in C++. - Dan R. Ghica; Sam Lindley; Marcos Maroñas Bravo; Maciej Piróg (Proc. ACM Program. Lang., 2022)