Concepedia

Maciej Piróg

MP

11

Publications

264

Citations

10

H-Index

2010

Active since

Affiliations

University of Wrocław(Current)

Consejo Nacional de Investigaciones Científicas y Técnicas

University of Oxford

National University of Rosario

Centro Internacional Franco-Argentino de Ciencias de la Información y de Sistemas

Maciej Piróg is an author at University of Wrocław specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningSemanticsSoftware AnalysisFormal VerificationProgramming LanguagesLanguage

Publications per year

2010–2022

11

Publications

11

Binders by day, labels by night: effect instances via lexically scoped handlers

Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk et al. · Proceedings of the ACM on Programming Languages · 2019 · 42 citations · Full text

Engineering, Semantics, Software Analysis +19

Handle with care: relational interpretation of algebraic effects and handlers

Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk et al. · Proceedings of the ACM on Programming Languages · 2017 · 41 citations · Full text

Engineering, Semantics, Software Analysis +19

The Coinductive Resumption Monad

Maciej Piróg, Jeremy Gibbons · Electronic Notes in Theoretical Computer Science · 2014 · 31 citations · Full text

Algebraic Logic, Declarative Programming, Engineering +13

Monad transformers and modular algebraic effects: what binds them together

Tom Schrijvers, Maciej Piróg, Nicolas Wu et al. · 2019 · 30 citations · Full text

Algebraic Logic, Abstract Algebra, Engineering +11

Abstracting algebraic effects

Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk et al. · Proceedings of the ACM on Programming Languages · 2019 · 30 citations · Full text

Abstract Algebra, Engineering, Algebraic Structure +17

Rows per page

1–5 of 11