
Syntax and semantics for operations with scopes
Maciej Piróg, Tom Schrijvers, Nicolas Wu, and Mauro Jaskelioff
Accepted for LICS 2018
(TBA)

Handle with care: Relational interpretation of algebraic effects and handlers
Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski
Proceedings of the ACM on Programming Languages 2 (POPL 2018)
pdf  doi  bib
@article{biernacki_et_al_handle_2018
author = {Dariusz Biernacki and
Maciej Pir{\'{o}}g and
Piotr Polesiuk and
Filip Sieczkowski},
title = {Handle with care: Relational interpretation of algebraic effects and handlers},
journal = {{PACMPL}},
volume = {2},
number = {{POPL}},
pages = {8:18:30},
year = {2018},
url = {http://doi.acm.org/10.1145/3158096},
doi = {10.1145/3158096},
}

Backtracking with cut via a distributive law and leftzero monoids
Maciej Piróg and Sam Staton
Journal of Functional Programming 27
pdf  doi  bib
article{pirog_staton_backtracking_2017,
author = {Maciej Pir{\'o}g and Sam Staton},
title = {Backtracking with cut via a distributive law and leftzero monoids},
journal = {Journal of Functional Programming},
volume = {27},
year = {2017},
doi = {10.1017/S0956796817000077},
}

Unifying guarded and unguarded iteration
Sergey Goncharov, Lutz Schröder, Christoph Rauch, and Maciej Piróg
20th Foundations of Software Science and Computation Structures (FoSSaCS 2017). LNCS 10203:517533
pdf  doi  bib
@Inbook{goncharov_et_al_unifying_2017,
author = "Goncharov, Sergey and Schr{\"o}der, Lutz and Rauch, Christoph and Pir{\'o}g, Maciej",
title = "Unifying Guarded and Unguarded Iteration",
editor= "Esparza, Javier and Murawski, Andrzej S.",
bookTitle="Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 2229, 2017, Proceedings",
year="2017",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="517533",
isbn="9783662544587",
doi="10.1007/9783662544587_30",
url="http://dx.doi.org/10.1007/9783662544587_30"
}

String diagrams for free monads (functional pearl)
Maciej Piróg and Nicolas Wu
21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016). ACM SIGPLAN Notices 51(9):490501
pdf  doi  bib
@article{pirog_wu_string_diagrams_2016,
author = "Pir\'og, Maciej and Wu, Nicolas",
title = "String diagrams for free monads (functional pearl)",
journal = "{ACM} {SIGPLAN} Notices",
volume = "51",
number = "9",
year = "2016",
pages = "490501",
doi = "10.1145/2951913.2951947",
}

Tabling with sound answer subsumption
Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, and Tom Schrijvers
Theory and Practice of Logic Programming 16(56):933949
pdf  doi  bib
@article{vandenbroucke_et_al_tabling_2016,
author = "Vandenbroucke, Alexander and Piróg, Maciej and Desouter, Benoit and Schrijvers, Tom",
title = "Tabling with Sound Answer Subsumption",
journal = "Theory and Practice of Logic Programming",
volume = "16",
number = "56",
year = "2016",
pages = "933949",
}

EilenbergMoore monoids and backtracking monad transformers
Maciej Piróg
6th Workshop on Mathematically Structured Functional Programming (MSFP 2016). EPTCS 207:2356
pdf  doi  bib
@Inproceedings{pirog_em_monoids,
author = "Pir\'og, Maciej",
title = "{E}ilenberg{M}oore Monoids and Backtracking Monad Transformers",
booktitle = "Proceedings of the 6th Workshop on Mathematically Structured Functional Programming, {E}indhoven, {N}etherlands, 8 {A}pril 2016",
series = "Electronic Proceedings in Theoretical Computer Science",
volume = "207",
year = "2016",
publisher = "Open Publishing Association",
pages = "2356",
doi = "10.4204/EPTCS.207.2",
}

From push/enter to eval/apply by program transformation
Maciej Piróg and Jeremy Gibbons
Workshop on Continuations (WoC 2015). EPTCS 212:5362
pdf  doi  bib
@Inproceedings{pirog_gibbons_peea,
author = "Pir\'og, Maciej and Gibbons, Jeremy",
year = "2016",
title = "From Push/Enter to Eval/Apply by Program Transformation",
booktitle = "Proceedings of the Workshop on Continuations, {L}ondon, {UK}, 12 {A}pril 2015",
series = "Electronic Proceedings in Theoretical Computer Science",
volume = "212",
publisher = "Open Publishing Association",
pages = "5362",
doi = "10.4204/EPTCS.212.4",
}

Modules over monads and their algebras
Maciej Piróg, Nicolas Wu, and Jeremy Gibbons
6th Algebra and Coalgebra in Computer Science (CALCO 2015). LIPIcs 35:290303
pdf  doi  bib
@InProceedings{pirog_et_al_modules_monads,
author = "Pir\'og, Maciej and Wu, Nicolas and Gibbons, Jeremy",
title = "Modules Over Monads and Their Algebras",
booktitle = "6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)",
pages = "290303",
series = "Leibniz International Proceedings in Informatics (LIPIcs)",
year = "2015",
volume = "35",
publisher = "Schloss DagstuhlLeibnizZentrum fuer Informatik",
doi = "10.4230/LIPIcs.CALCO.2015.290",
}

The coinductive resumption monad
Maciej Piróg and Jeremy Gibbons
30th Mathematical Foundations of Programming Semantics (MFPS XXX).
ENTCS 308:273288
pdf  doi  bib
@article{pirog_gibbons_coinductive_resumption,
author = "Pir\'og, Maciej and Gibbons, Jeremy",
title = "The Coinductive Resumption Monad",
journal = "Electronic Notes in Theoretical Computer Science",
volume = "308",
pages = "273288",
year = "2014",
note = "Proceedings of the Thirtieth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} {XXX}",
doi = "10.1016/j.entcs.2014.10.015",
}

Monads for behaviour
Maciej Piróg and Jeremy Gibbons
29th Mathematical Foundations of Programming Semantics (MFPS XXIX). ENTCS 298:309324
pdf  doi  bib
@article{pirog_gibbons_monads_behaviour,
author = "Pir\'og, Maciej and Gibbons, Jeremy",
title = "Monads for Behaviour",
journal = "Electronic Notes in Theoretical Computer Science",
volume = "298",
pages = "309324",
year = "2013",
note = "Proceedings of the Twentyninth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} {XXIX}",
doi = "10.1016/j.entcs.2013.09.019",
}

Tracing monadic computations and representing effects
Maciej Piróg and Jeremy Gibbons
4th Workshop on Mathematically Structured Functional Programming (MSFP 2012). EPTCS 76:90111
pdf  doi  bib
@Inproceedings{pirog_gibbons_tracing_monadic,
author = "Pir\'og, Maciej and Gibbons, Jeremy",
title = "Tracing monadic computations and representing effects",
booktitle = "Proceedings Fourth Workshop on Mathematically Structured Functional Programming, {T}allinn, {E}stonia, 25 {M}arch 2012",
series = "Electronic Proceedings in Theoretical Computer Science",
volume = "76",
year = "2012",
publisher = "Open Publishing Association",
pages = "90111",
doi = "10.4204/EPTCS.76.8",
}

A systematic derivation of the STG machine verified in Coq
Maciej Piróg and Dariusz Biernacki
3rd ACM SIGPLAN Haskell Symposium (Haskell 2010). ACM SIGPLAN Notices 45(11):2536
pdf  doi  bib  coq
@article{pirog_biernacki_stg_in_coq,
author = "Pir\'og, Maciej and Biernacki, Dariusz",
title = "A Systematic Derivation of the {STG} Machine Verified in {C}oq",
journal = "{ACM} {SIGPLAN} Notices",
volume = "45",
number = "11",
year = "2010",
pages = "2536",
doi = "10.1145/2088456.1863528",
}