Maciej Pirog : Publications
Journal papers
|
[1] |
A Functional Derivation of the Warren Abstract Machine Maciej Pirog and Jeremy Gibbons 2011. Submitted for publication |
Conference papers
|
[1] |
Monads for behaviour Maciej Piróg and Jeremy Gibbons 2013. Accepted for Mathematical Foundations of Programming Semantics (MFPS) XXIX |
|
[2] |
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 | BibTeX | DOI (10.4204/EPTCS.76.8) | Download (pdf) |
|
[3] |
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. |