Maciej Piróg

24 papers A* 1A 1B 7C 2Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2025 B conf
Strong Dinatural Transformations and Generalised Codensity Monads.
MFPS
Maciej Piróg, Filip Sieczkowski
2022 J jnl
High-level effect handlers in C++.
Proc. ACM Program. Lang.
Dan R. Ghica, Sam Lindley, Marcos Maroñas Bravo, Maciej Piróg
2020 J jnl
Binders by day, labels by night: effect instances via lexically scoped handlers.
Proc. ACM Program. Lang.
Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski
2020 C conf
Degrading Lists.
PPDP
Dylan McDermott, Maciej Piróg, Tarmo Uustalu
2019 J jnl
Abstracting algebraic effects.
Proc. ACM Program. Lang.
Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski
2019 B conf
Equational Theories and Monads from Polynomial Cayley Representations.
FoSSaCS
Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski
2019 J jnl
Guarded and Unguarded Iteration for Generalized Processes.
Log. Methods Comput. Sci.
Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg
2019 — conf
Monad transformers and modular algebraic effects: what binds them together.
Haskell@ICFP
Tom Schrijvers, Maciej Piróg, Nicolas Wu, Mauro Jaskelioff
2019 B conf
Typed Equivalence of Effect Handlers and Delimited Control.
FSCD
Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski
2018 J jnl
Handle with care: relational interpretation of algebraic effects and handlers.
Proc. ACM Program. Lang.
Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski
2018 A* conf
Syntax and Semantics for Operations with Scopes.
LICS
Maciej Piróg, Tom Schrijvers, Nicolas Wu, Mauro Jaskelioff
2017 J jnl
Backtracking with cut via a distributive law and left-zero monoids.
J. Funct. Program.
Maciej Piróg, Sam Staton
2017 J jnl
Guarded and Unguarded Iteration for Generalized Processes.
CoRR
Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg
2017 B conf
Unifying Guarded and Unguarded Iteration.
FoSSaCS
Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg
2016 — conf
Eilenberg-Moore Monoids and Backtracking Monad Transformers.
MSFP
Maciej Piróg
2016 A conf
String diagrams for free monads (functional pearl).
ICFP
Maciej Piróg, Nicolas Wu
2016 J jnl
Tabling with Sound Answer Subsumption.
CoRR
Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, Tom Schrijvers
2016 J jnl
Tabling with Sound Answer Subsumption.
Theory Pract. Log. Program.
Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, Tom Schrijvers
2015 — conf
From Push/Enter to Eval/Apply by Program Transformation.
WoC
Maciej Piróg, Jeremy Gibbons
2015 B conf
Modules Over Monads and Their Algebras.
CALCO
Maciej Piróg, Nicolas Wu, Jeremy Gibbons
2014 B conf
The Coinductive Resumption Monad.
MFPS
Maciej Piróg, Jeremy Gibbons
2013 B conf
Monads for Behaviour.
MFPS
Maciej Piróg, Jeremy Gibbons
2012 — conf
Tracing monadic computations and representing effects
MSFP
Maciej Piróg, Jeremy Gibbons
2010 C conf
A systematic derivation of the STG machine verified in Coq.
Haskell
Maciej Piróg, Dariusz Biernacki