Piotr Polesiuk

According to our database, Piotr Polesiuk authored at least 15 papers between 2015 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Deciding not to Decide: Sound and Complete Effect Inference in the Presence of Higher-Rank Polymorphism.

Patrycja Balik, Szymon Jedras, Piotr Polesiuk

CoRR, October, 2025

2024

Fully Abstract Encodings of $\lambda$-Calculus in HOcore through Abstract Machines.

Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt

Log. Methods Comput. Sci., 2024

2020

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

Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski

Proc. ACM Program. Lang., 2020

A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers.

Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

2019

Abstracting algebraic effects.

Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski

Proc. ACM Program. Lang., 2019

Bisimulations for Delimited-Control Operators.

Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk

Log. Methods Comput. Sci., 2019

Proving Soundness of Extensional Normal-Form Bisimilarities.

Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk

Log. Methods Comput. Sci., 2019

Diacritical Companions.

Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk

Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, 2019

Typed Equivalence of Effect Handlers and Delimited Control.

Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

Equational Theories and Monads from Polynomial Cayley Representations.

Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski

Proceedings of the Foundations of Software Science and Computation Structures, 2019

A Complete Normal-Form Bisimilarity for State.

Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk

Proceedings of the Foundations of Software Science and Computation Structures, 2019

2018

Handle with care: relational interpretation of algebraic effects and handlers.

Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski

Proc. ACM Program. Lang., 2018

2017

Fully abstract encodings of λ-calculus in HOcore through abstract machines.

Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2016

Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation.

Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

2015

Logical Relations for Coherence of Effect Subtyping.

Dariusz Biernacki, Piotr Polesiuk

Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015