Maciej Pirog
Themes:
Completed Projects:
See Also:
Interests
I enjoy formal semantics of programming languages and interactive theorem proving in Coq. At the moment, I am working on modelling effects (like I/O) in type theory.
Biography
I came to the city of dreaming spires straight from Wroclaw, Poland, where I graduated from the local university. I was awarded the title of MSc in computer science, and my thesis was entitled Toward a certified Haskell compiler: Correctness and implementation of the Spineless Tagless G-machine verified in the Coq proof assistant (I really enjoyed the length of the title at that time). Now, I am working hard to become a doctor of philosophy.
Selected 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)