Journal and conference papers

• Counting monads on lists Dylan McDermott, Maciej Piróg, and Tarmo Uustalu CLA 2023  •  pdf
• High-level effect handlers in C++ Dan Ghica, Sam Lindley, Marcos Maroñas Bravo, and Maciej Piróg OOPSLA 2022  •  pdf | doi link
• Degrading lists Dylan McDermott, Maciej Piróg, and Tarmo Uustalu PPDP 2020  •  pdf
• Binders by day, labels by night: Effect instances via lexically scoped handlers Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski POPL 2020  •  pdf | doi link | coq formalisation
• Guarded and unguarded iteration for generalized processes Sergey Goncharov, Lutz Schröder, Christoph Rauch, and Maciej Piróg Logical Methods in Computer Science 15(3)  •  pdf | doi link
• Monad transformers and modular algebraic effects: What binds them together Tom Schrijvers, Maciej Piróg, Nicolas Wu, and Mauro Jaskelioff Haskell 2019  •  pdf | doi link
• Typed equivalence of effect handlers and delimited control Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski FSCD 2019  •  pdf | doi link | coq formalisation
• Equational theories and monads from polynomial Cayley representations Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski FOSSACS 2019  •  pdf | doi link | tool
• Abstracting algebraic effects Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski POPL 2019  •  pdf | doi link
• Syntax and semantics for operations with scopes Maciej Piróg, Tom Schrijvers, Nicolas Wu, and Mauro Jaskelioff LICS 2018  •  pdf | doi link
• Handle with care: Relational interpretation of algebraic effects and handlers Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski POPL 2018  •  pdf | doi link | coq formalisation
• On retracts of algebras with iteration (short contribution) Sergey Goncharov, Lutz Schröder, Christoph Rauch and Maciej Piróg CMCS 2018  •  pdf
• Backtracking with cut via a distributive law and left-zero monoids Maciej Piróg and Sam Staton Journal of Functional Programming 27  •  pdf | doi link
• Unifying guarded and unguarded iteration Sergey Goncharov, Lutz Schröder, Christoph Rauch, and Maciej Piróg FOSSACS 2017  •  pdf | doi link
• String diagrams for free monads (functional pearl) Maciej Piróg and Nicolas Wu ICFP 2016  •  pdf | doi link
• Tabling with sound answer subsumption Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, and Tom Schrijvers Theory and Practice of Logic Programming 16(5-6)  •  pdf | doi link
• Eilenberg-Moore monoids and backtracking monad transformers Maciej Piróg MSFP 2016  •  pdf | doi link
• From push/enter to eval/apply by program transformation Maciej Piróg and Jeremy Gibbons Workshop on Continuations 2015  •  pdf | doi link
• Modules over monads and their algebras Maciej Piróg, Nicolas Wu, and Jeremy Gibbons CALCO 2015  •  pdf | doi link
• The coinductive resumption monad Maciej Piróg and Jeremy Gibbons MFPS 2014  •  pdf | doi link
• Monads for behaviour Maciej Piróg and Jeremy Gibbons MFPS 2013  •  pdf | doi link
• Tracing monadic computations and representing effects Maciej Piróg and Jeremy Gibbons MSFP 2012  •  pdf | doi link
• A systematic derivation of the STG machine verified in Coq Maciej Piróg and Dariusz Biernacki Haskell 2010  •  pdf | doi link | coq formalisation

Other papers

• Programming with abstract algebraic effects (extended abstract) Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski ML 2018  •  link
• Logical relations for algebraic effects (extended abstract) Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski HOPE 2017  •  link
• Monad transformers and modular algebraic effects: What binds them together Tom Schrijvers, Maciej Piróg, Nicolas Wu, and Mauro Jaskelioff KU Leuven technical report CW699  •  link
• FizzBuzz in Haskell by embedding a domain-specific language Maciej Piróg The Monad.Reader 23:7-16  •  pdf
• A functional derivation of the Warren abstract machine (extended abstract) Maciej Piróg and Jeremy Gibbons (Unpublished)  •  pdf

Theses

• Completely iterative monads in semantics of coinductive programs DPhil thesis supervised by Jeremy Gibbons University of Oxford, 2015  •  pdf | link | bib
  @phdthesis{pirog_phd, author = "Pir\'og, Maciej", title = "Completely iterative monads in semantics of coinductive programs", school = "University of Oxford", year = "2015", }
• Toward a certified Haskell compiler: Correctness and implementation of the Spineless Tagless G-machine verified in the Coq proof assistant MSc thesis supervised by Dariusz Biernacki University of Wrocław, 2010  •  bib
  @MastersThesis{pirog_msc, author = "Pir\'og, Maciej", title = "Toward a certified {H}askell compiler: Correctness and implementation of the Spineless Tagless {G}-machine verified in the {C}oq proof assistant", school = "University of Wroc\l{}aw", year = "2010", }