Maciej Pirog : Publications

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

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

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)

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

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

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

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

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