Maciej Pirog : Publications
Journal papers
-
[1]
A Functional Derivation of the Warren Abstract Machine
Maciej Pirog and Jeremy Gibbons
2011.
Submitted for publication
Details about A Functional Derivation of the Warren Abstract Machine | BibTeX data for A Functional Derivation of the Warren Abstract Machine | Download (pdf) of A Functional Derivation of the Warren Abstract Machine
Conference papers
-
[1]
From Push/Enter to Eval/Apply by Program Transformation
Maciej Piróg and Jeremy Gibbons
In Olivier Danvy and Ugo de'Liguoro, editors, Proceedings of the Workshop on Continuations. Vol. 212 of Electronic Proceedings in Theoretical Computer Science. Pages 53−62. June, 2016.
Details about From Push/Enter to Eval/Apply by Program Transformation | BibTeX data for From Push/Enter to Eval/Apply by Program Transformation | DOI (10.4204/EPTCS.212.4) | Download (pdf) of From Push/Enter to Eval/Apply by Program Transformation
-
[2]
Modules over Monads‚ and Their Algebras
Maciej Piróg‚ Nicolas Wu and Jeremy Gibbons
In Larry Moss and Paweł Sobociński, editors, 6th International Conference on Algebra and Coalgebra in Computer Science (CALCO’15). Pages 287−300. June, 2015.
Details about Modules over Monads‚ and Their Algebras | BibTeX data for Modules over Monads‚ and Their Algebras | DOI (10.4230/LIPIcs.CALCO.2015.290) | Download (pdf) of Modules over Monads‚ and Their Algebras
-
[3]
The coinductive resumption monad
Maciej Piróg and Jeremy Gibbons
Vol. 308. Pages 273–288. 2014.
Proceedings of the Thirtieth Conference on the Mathematical Foundations of Programming Semantics‚ MFPS XXX
Details about The coinductive resumption monad | BibTeX data for The coinductive resumption monad | Download (pdf) of The coinductive resumption monad | DOI (10.1016/j.entcs.2014.10.015)
-
[4]
Monads for behaviour
Maciej Piróg and Jeremy Gibbons
Vol. 298. Pages 309 − 324. 2013.
Proceedings of the Twenty−ninth Conference on the Mathematical Foundations of Programming Semantics‚ MFPS XXIX
Details about Monads for behaviour | BibTeX data for Monads for behaviour | Download (pdf) of Monads for behaviour | DOI (10.1016/j.entcs.2013.09.019) | Link to Monads for behaviour
-
[5]
Tracing monadic computations and representing effects
Maciej Pirog and Jeremy Gibbons
In James Chapman and Paul Blain Levy, editors, Proceedings Fourth Workshop on Mathematically Structured Functional Programming‚ Tallinn‚ Estonia‚ 25 March 2012. Vol. 76 of Electronic Proceedings in Theoretical Computer Science. Pages 90−111. Open Publishing Association. 2012.
Details about Tracing monadic computations and representing effects | BibTeX data for Tracing monadic computations and representing effects | DOI (10.4204/EPTCS.76.8) | Download (pdf) of Tracing monadic computations and representing effects
-
[6]
A systematic derivation of the STG machine verified in Coq
Maciej Pirog and Dariusz Biernacki
In Haskell '10: Proceedings of the third ACM Haskell symposium on Haskell. Pages 25–36. New York‚ NY‚ USA. 2010. ACM.
Details about A systematic derivation of the STG machine verified in Coq | BibTeX data for A systematic derivation of the STG machine verified in Coq | Download (pdf) of A systematic derivation of the STG machine verified in Coq
Theses
-
[1]
Completely iterative monads in semantics of coinductive programs
Maciej Adam Pirog
PhD Thesis , type= DPhil thesis. 2014.
Details about Completely iterative monads in semantics of coinductive programs | BibTeX data for Completely iterative monads in semantics of coinductive programs | Link to Completely iterative monads in semantics of coinductive programs