Piotr Polesiuk

According to our database, Piotr Polesiuk authored at least 14 papers between 2017 and 2024.

Collaborative distances:

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

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

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

Logical relations for coherence of effect subtyping.

Dariusz Biernacki, Piotr Polesiuk

Log. Methods Comput. Sci., 2018

Proving Soundness of Extensional Normal-Form Bisimilarities.

Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

2017

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

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

Log. Methods Comput. Sci., 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