@inproceedings{peea,
  title = "From Push/Enter to Eval/Apply by Program Transformation",
  author = "Maciej Piróg and Jeremy Gibbons",
  year = "2016",
  booktitle = "Proceedings of the Workshop on Continuations",
  editor = "Olivier Danvy and Ugo de'Liguoro",
  month = "June",
  pages = "53-62",
  series = "Electronic Proceedings in Theoretical Computer Science",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/peea.pdf",
  volume = "212",
  doi = "10.4204/EPTCS.212.4",
}
@inproceedings{modules,
  title = "Modules over Monads, and Their Algebras",
  author = "Maciej Piróg and Nicolas Wu and Jeremy Gibbons",
  year = "2015",
  booktitle = "6th International Conference on Algebra and Coalgebra in Computer Science (CALCO’15)",
  editor = "Larry Moss and Paweł Sobociński",
  month = "June",
  pages = "287-300",
  series = "Leibniz International Proceedings in Informatics",
  url = "https://coalg.org/calco15/papers/p18-Pir%C3%B3g.pdf",
  doi = "10.4230/LIPIcs.CALCO.2015.290",
}
@phdthesis{pirog-dphil,
  title = "Completely iterative monads in semantics of coinductive programs",
  author = "Maciej Adam Pirog",
  year = "2014",
  url = "https://ora.ox.ac.uk/objects/uuid:9957b2f8-b08c-40fd-9bf1-b815b9abd25a",
}
@inproceedings{crm,
  title = "The coinductive resumption monad",
  author = "Maciej Piróg and Jeremy Gibbons",
  year = "2014",
  journal = "Electronic Notes in Theoretical Computer Science",
  note = "Proceedings of the Thirtieth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} XXX",
  pages = "273--288",
  volume = "308",
  doi = "10.1016/j.entcs.2014.10.015",
}
@inproceedings{monbeh,
  title = "Monads for behaviour",
  author = "Maciej Piróg and Jeremy Gibbons",
  year = "2013",
  issn = "1571-0661",
  journal = "Electronic Notes in Theoretical Computer Science",
  note = "Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} XXIX",
  pages = "309 - 324",
  url = "http://www.sciencedirect.com/science/article/pii/S1571066113000650",
  volume = "298",
  doi = "10.1016/j.entcs.2013.09.019",
}
@inproceedings{trmon,
  title = "Tracing monadic computations and representing effects",
  author = "Maciej Pirog and Jeremy Gibbons",
  year = "2012",
  booktitle = "Proceedings Fourth Workshop on Mathematically Structured Functional Programming, Tallinn, Estonia, 25 March 2012",
  editor = "Chapman, James and Levy, Paul Blain",
  pages = "90-111",
  publisher = "Open Publishing Association",
  series = "Electronic Proceedings in Theoretical Computer Science",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/trmon.pdf",
  volume = "76",
  doi = "10.4204/EPTCS.76.8",
}
@article{wam,
  title = "A Functional Derivation of the Warren Abstract Machine",
  author = "Maciej Pirog and Jeremy Gibbons",
  year = "2011",
  note = "Submitted for publication",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/wam.pdf",
}
@inproceedings{3813,
  title = "A systematic derivation of the STG machine verified in Coq",
  author = "Maciej Pirog and Dariusz Biernacki",
  year = "2010",
  address = "New York, NY, USA",
  booktitle = "Haskell '10: Proceedings of the third ACM Haskell symposium on Haskell",
  isbn = "978-1-4503-0252-4",
  location = "Baltimore, Maryland, USA",
  pages = "25--36",
  publisher = "ACM",
}