Maciej Piróg - Concepedia

Author

Maciej Piróg

University of Wrocław ORCID

Also Known As

MACIEJ PIRÓG, Maciej Pirog, Maciej Piróg, Pirog, Maciej, Pirog, Maciej Adam, Piróg, Maciej

Publications

310

Citations

H-Index

Concepts

All Affiliations

University of Wrocław 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

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	9	9	236
2	Computer Science	9	9	236
3	Language Studies	3	3	83
4	Cognitive Science	2	2	51
5	Computer Engineering	1	1	15

Maciej Piróg

Publications

264

Citations

H-Index

Page 1

	Year	Citations
Binders by day, labels by night: effect instances via lexically scoped handlers Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Proceedings of the ACM on Programming Languages EngineeringSemanticsSoftware AnalysisExplosive MixtureEffect Instances	2019	42
Handle with care: relational interpretation of algebraic effects and handlers Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Proceedings of the ACM on Programming Languages EngineeringSemanticsSoftware AnalysisFormal VerificationCausal Inference	2017	41
The Coinductive Resumption Monad Maciej Piróg, Jeremy Gibbons Electronic Notes in Theoretical Computer Science Algebraic LogicDeclarative ProgrammingEngineeringAutomated ReasoningGeneralised Resumptions	2014	31
Monad transformers and modular algebraic effects: what binds them together Tom Schrijvers, Maciej Piróg, Nicolas Wu, Algebraic LogicAbstract AlgebraEngineeringRepresentation TheoryModern Algebra	2019	30
Abstracting algebraic effects Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Proceedings of the ACM on Programming Languages Abstract AlgebraEngineeringAlgebraic StructureSoftware AnalysisFormal Verification	2019	30
Syntax and Semantics for Operations with Scopes Maciej Piróg, Tom Schrijvers, Nicolas Wu, EngineeringAbstract SyntaxSemanticsSoftware AnalysisSyntax	2018	26
A systematic derivation of the STG machine verified in Coq Maciej Piróg, Dariusz Biernacki EngineeringSemanticsNatural Operational SemanticsFormal VerificationOperational Semantics	2010	15
Typed Equivalence of Effect Handlers and Delimited Control Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)	2019	14
High-level effect handlers in C++ Dan R. Ghica, Sam Lindley, Marcos Maroñas Bravo, Proceedings of the ACM on Programming Languages	2022	14
Backtracking with cut via a distributive law and left-zero monoids Maciej Piróg, Sam Staton Journal of Functional Programming Algebraic LogicEngineeringFormal MethodsList MonadGomory-chvátal Theory	2017	11

Page 1