Piotr Polesiuk

25 papers A* 1B 7Journal 15Unranked 2
YearRankTypeTitle / Venue / Authors
2026 — conf
Deciding not to Decide - Sound and Complete Effect Inference in the Presence of Higher-Rank Polymorphism.
ESOP (1)
Patrycja Balik, Szymon Jedras, Piotr Polesiuk
2026 J jnl
Remarks on Algebraic Reconstruction of Types and Effects.
CoRR
Patrycja Balik, Szymon Jedras, Piotr Polesiuk
2025 J jnl
Deciding not to Decide: Sound and Complete Effect Inference in the Presence of Higher-Rank Polymorphism.
CoRR
Patrycja Balik, Szymon Jedras, Piotr Polesiuk
2024 J jnl
Fully Abstract Encodings of $\lambda$-Calculus in HOcore through Abstract Machines.
Log. Methods Comput. Sci.
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt
2022 J jnl
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines.
CoRR
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt
2020 B conf
A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers.
FSCD
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
2020 J jnl
Binders by day, labels by night: effect instances via lexically scoped handlers.
Proc. ACM Program. Lang.
Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski
2019 B conf
A Complete Normal-Form Bisimilarity for State.
FoSSaCS
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
2019 J jnl
Abstracting algebraic effects.
Proc. ACM Program. Lang.
Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski
2019 J jnl
Bisimulations for Delimited-Control Operators.
Log. Methods Comput. Sci.
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
2019 B conf
Diacritical Companions.
MFPS
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
2019 B conf
Equational Theories and Monads from Polynomial Cayley Representations.
FoSSaCS
Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski
2019 J jnl
Proving Soundness of Extensional Normal-Form Bisimilarities.
Log. Methods Comput. Sci.
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
2019 B conf
Typed Equivalence of Effect Handlers and Delimited Control.
FSCD
Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski
2018 J jnl
Bisimulations for Delimited-Control Operators.
CoRR
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
2018 J jnl
Handle with care: relational interpretation of algebraic effects and handlers.
Proc. ACM Program. Lang.
Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski
2018 J jnl
Logical relations for coherence of effect subtyping.
Log. Methods Comput. Sci.
Dariusz Biernacki, Piotr Polesiuk
2018 B conf
Proving Soundness of Extensional Normal-Form Bisimilarities.
MFPS
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
2017 J jnl
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation.
Log. Methods Comput. Sci.
Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
2017 A* conf
Fully abstract encodings of λ-calculus in HOcore through abstract machines.
LICS
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt
2017 J jnl
Logical relations for coherence of effect subtyping.
CoRR
Dariusz Biernacki, Piotr Polesiuk
2017 J jnl
Proving Soundness of Extensional Normal-Form Bisimilarities.
CoRR
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
2016 B conf
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation.
FSCD
Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
2016 J jnl
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation.
CoRR
Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
2015 — conf
Logical Relations for Coherence of Effect Subtyping.
TLCA
Dariusz Biernacki, Piotr Polesiuk