Maciej Piróg

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 17

Top Topics

Answering Queries

Multi Instance Learning

Backtracking Algorithm

Equational Theories

Top Venues

Proc. ACM Program. Lang.

Publications

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