Concepedia

Piotr Polesiuk

PP

5

Publications

137

Citations

5

H-Index

2017

Active since

Affiliations

University of Wrocław(Current)

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

ORCID

Top concepts

Publications per year

2017–2019

5

Publications

5

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

, , +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

, , +19

Abstracting algebraic effects

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

, , +17

Typed Equivalence of Effect Handlers and Delimited Control

Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2019 · 14 citations · Full text

Handle with Care: Relational Interpretation of Algebraic Effects and Handlers

Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk et al. · Symposium on Principles of Programming Languages · 2018 · 10 citations

, , +19

Rows per page

1–5 of 5