Maciej Piróg
Maciej Piróg
Verified email at cs.uni.wroc.pl - Homepage
Title
Cited by
Cited by
Year
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
382017
A systematic derivation of the STG machine verified in Coq
M Pirog, D Biernacki
ACM Sigplan Notices 45 (11), 25-36, 2010
262010
Abstracting algebraic effects
D Biernacki, M Piróg, P Polesiuk, F Sieczkowski
Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019
252019
The coinductive resumption monad
M Piróg, J Gibbons
Electronic notes in theoretical computer science 308, 273-288, 2014
252014
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
162017
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
152019
Tracing monadic computations and representing effects
M Piróg, J Gibbons
arXiv preprint arXiv:1202.2922, 2012
142012
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
132018
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
112019
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
92019
Monads for behaviour
M Piróg, J Gibbons
Electronic Notes in Theoretical Computer Science 298, 309 − 324, 2013
92013
Tabling with sound answer subsumption
A Vandenbroucke, M Piróg, B Desouter, T Schrijvers
arXiv preprint arXiv:1608.00787, 2016
82016
Eilenberg-Moore Monoids and Backtracking Monad Transformers
M Piróg
arXiv preprint arXiv:1604.01184, 2016
82016
Backtracking with cut via a distributive law and left-zero monoids
M Pirog, S Staton
Journal of Functional Programming 27, 2017
52017
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
32015
String diagrams for free monads (functional pearl)
M Piróg, N Wu
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
22016
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
12019
A functional derivation of the warren abstract machine
M Pirog, J Gibbons
Unpublished, 2011
12011
Degrading Lists
D McDermott, M Piróg, T Uustalu
Proceedings of the 22nd International Symposium on Principles and Practice …, 2020
2020
Working smart: the use of ‘cognitive enhancers’ by UK university students
H McDermott, H Lane, M Alonso
Journal of Further and Higher Education, 1-14, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20