| Handle with care: relational interpretation of algebraic effects and handlers D Biernacki, M Piróg, P Polesiuk, F Sieczkowski Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017 | 46 | 2017 |
| Abstracting algebraic effects D Biernacki, M Piróg, P Polesiuk, F Sieczkowski Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019 | 42 | 2019 |
| Binders by day, labels by night: effect instances via lexically scoped handlers D Biernacki, M Piróg, P Polesiuk, F Sieczkowski Proceedings of the ACM on Programming Languages 4 (POPL), 1-29, 2019 | 29 | 2019 |
| A systematic derivation of the STG machine verified in Coq M Pirog, D Biernacki ACM Sigplan Notices 45 (11), 25-36, 2010 | 29 | 2010 |
| Syntax and semantics for operations with scopes M Piróg, T Schrijvers, N Wu, M Jaskelioff Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 27 | 2018 |
| The coinductive resumption monad M Piróg, J Gibbons Electronic notes in theoretical computer science 308, 273-288, 2014 | 27 | 2014 |
| Monad transformers and modular algebraic effects: what binds them together T Schrijvers, M Piróg, N Wu, M Jaskelioff Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 98-113, 2019 | 25 | 2019 |
| Typed equivalence of effect handlers and delimited control M Piróg, P Polesiuk, F Sieczkowski 4th International Conference on Formal Structures for Computation and …, 2019 | 21 | 2019 |
| Unifying guarded and unguarded iteration S Goncharov, L Schröder, C Rauch, M Piróg International Conference on Foundations of Software Science and Computation …, 2017 | 18 | 2017 |
| Tracing monadic computations and representing effects M Piróg, J Gibbons arXiv preprint arXiv:1202.2922, 2012 | 16 | 2012 |
| Degrading Lists D McDermott, M Piróg, T Uustalu Proceedings of the 22nd International Symposium on Principles and Practice …, 2020 | 14 | 2020 |
| Monads for behaviour M Piróg, J Gibbons Electronic Notes in Theoretical Computer Science 298, 309 − 324, 2013 | 10 | 2013 |
| Backtracking with cut via a distributive law and left-zero monoids M Pirog, S Staton Journal of Functional Programming 27, 2017 | 9 | 2017 |
| Tabling with sound answer subsumption A Vandenbroucke, M Piróg, B Desouter, T Schrijvers Theory and Practice of Logic Programming 16 (5-6), 933-949, 2016 | 9 | 2016 |
| Eilenberg-Moore Monoids and Backtracking Monad Transformers M Piróg arXiv preprint arXiv:1604.01184, 2016 | 9 | 2016 |
| Modules over monads and their algebras M Piróg, N Wu, J Gibbons 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015), 2015 | 6 | 2015 |
| String diagrams for free monads (functional pearl) M Piróg, N Wu Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016 | 3 | 2016 |
| Equational Theories and Monads from Polynomial Cayley Representations M Piróg, P Polesiuk, F Sieczkowski International Conference on Foundations of Software Science and Computation …, 2019 | 1 | 2019 |
| A functional derivation of the warren abstract machine M Pirog, J Gibbons Unpublished, 2011 | 1 | 2011 |
| Binders by Day, Labels by Night D BIERNACKI, M PIRÓG, P POLESIUK, F SIECZKOWSKI | | 2020 |
Jeremy GibbonsProfessor of Computing, University of OxfordVerified email at cs.ox.ac.uk
