Piotr Polesiuk - Concepedia

Author

Piotr Polesiuk

Also Known As

Piotr Polesiuk, Polesiuk, Piotr

Publications

184

Citations

H-Index

Concepts

All Affiliations

Piotr Polesiuk is an author at University of Wrocław specializing in program analysis, formal methods, and computer science.

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	123
2	Computer Science	4	4	123
3	Cognitive Science	2	2	51
4	Language Studies	1	1	42
5	Linguistics	1	1	42

Piotr Polesiuk

Publications

137

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
Abstracting algebraic effects Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Proceedings of the ACM on Programming Languages Abstract AlgebraEngineeringAlgebraic StructureSoftware AnalysisFormal Verification	2019	30
Typed Equivalence of Effect Handlers and Delimited Control Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)	2019	14
Handle with Care: Relational Interpretation of Algebraic Effects and Handlers Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Symposium on Principles of Programming Languages EngineeringSemanticsSoftware AnalysisFormal VerificationCausal Inference	2018	10

Page 1