Maciej Pirg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2010–2020
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | PPDP | Degrading Lists. | Dylan McDermott, Maciej Pirg, Tarmo Uustalu |
| 2019 | FOSSACS | Equational Theories and Monads from Polynomial Cayley Representations. | Maciej Pirg, Piotr Polesiuk, Filip Sieczkowski |
| 2019 | HASKELL | Monad transformers and modular algebraic effects: what binds them together. | Tom Schrijvers, Maciej Pirg, Nicolas Wu, Mauro Jaskelioff |
| 2018 | LICS | Syntax and Semantics for Operations with Scopes. | Maciej Pirg, Tom Schrijvers, Nicolas Wu, Mauro Jaskelioff |
| 2017 | FOSSACS | Unifying Guarded and Unguarded Iteration. | Sergey Goncharov, Lutz Schrder, Christoph Rauch, Maciej Pirg |
| 2016 | ICFP | String diagrams for free monads (functional pearl). | Maciej Pirg, Nicolas Wu |
| 2015 | CALCO | Modules Over Monads and Their Algebras. | Maciej Pirg, Nicolas Wu, Jeremy Gibbons |
| 2010 | HASKELL | A systematic derivation of the STG machine verified in Coq. | Maciej Pirg, Dariusz Biernacki |