Maciej Piróg

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7559296 (Why is no real title available?)	2022-07-18	Paper
Eilenberg-Moore monoids and backtracking monad transformers	2021-12-02	Paper
Eilenberg-Moore monoids and backtracking monad transformers (available as arXiv preprint)	2021-12-02	Paper
Tracing monadic computations and representing effects	2021-03-17	Paper
Tracing monadic computations and representing effects (available as arXiv preprint)	2021-03-17	Paper
Syntax and semantics for operations with scopes Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
Equational theories and monads from polynomial Cayley representations	2020-01-28	Paper
scientific article; zbMATH DE number 7080198 (Why is no real title available?) (available as arXiv preprint)	2019-07-12	Paper
Tabling with sound answer subsumption Theory and Practice of Logic Programming	2017-11-09	Paper
Backtracking with cut via a distributive law and left-zero monoids Journal of Functional Programming	2017-10-23	Paper
Modules over monads and their algebras	2017-07-11	Paper
Unifying guarded and unguarded iteration Lecture Notes in Computer Science	2017-05-19	Paper
String diagrams for free monads (functional pearl) Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming	2017-05-10	Paper
The coinductive resumption monad	2016-05-13	Paper
Monads for behaviour	2016-04-12	Paper

Research outcomes over time

This page was built for person: Maciej Piróg