Maciej Piróg

Maciej Piróg

University of Wroclaw - Wroclaw / Poland
Others
AD Scientific Index ID: 5988403
Uniwersytet Wroclawski
person_outline Maciej Piróg's MOST POPULAR ARTICLES
1-) Handle with care: relational interpretation of algebraic effects and handlersD Biernacki, M Piróg, P Polesiuk, F SieczkowskiProceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017622017
2-) Binders by day, labels by night: effect instances via lexically scoped handlersD Biernacki, M Piróg, P Polesiuk, F SieczkowskiProceedings of the ACM on Programming Languages 4 (POPL), 1-29, 2019562019
3-) Abstracting algebraic effectsD Biernacki, M Piróg, P Polesiuk, F SieczkowskiProceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019552019
4-) Syntax and semantics for operations with scopesM Piróg, T Schrijvers, N Wu, M JaskelioffProceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018502018
5-) The coinductive resumption monadM Piróg, J GibbonsElectronic notes in theoretical computer science 308, 273-288, 2014492014