Piotr Polesiuk

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 22

Top Topics

Control Structures

Equational Theories

Functional Dependencies

Prime Implicates

Top Venues

Log. Methods Comput. Sci.

Proc. ACM Program. Lang.

Publications

Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt
Fully Abstract Encodings of $\lambda$-Calculus in HOcore through Abstract Machines. Log. Methods Comput. Sci. 20 (3) (2024)
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines. CoRR (2022)
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers. FSCD (2020)
Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski
Binders by day, labels by night: effect instances via lexically scoped handlers. Proc. ACM Program. Lang. 4 (POPL) (2020)
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
Proving Soundness of Extensional Normal-Form Bisimilarities. Log. Methods Comput. Sci. 15 (1) (2019)
Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski
Typed Equivalence of Effect Handlers and Delimited Control. FSCD (2019)
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
Diacritical Companions. MFPS (2019)
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
A Complete Normal-Form Bisimilarity for State. FoSSaCS (2019)
Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski
Abstracting algebraic effects. Proc. ACM Program. Lang. 3 (POPL) (2019)
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
Bisimulations for Delimited-Control Operators. Log. Methods Comput. Sci. 15 (2) (2019)
Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski
Equational Theories and Monads from Polynomial Cayley Representations. FoSSaCS (2019)
Dariusz Biernacki, Piotr Polesiuk
Logical relations for coherence of effect subtyping. Log. Methods Comput. Sci. 14 (1) (2018)
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
Proving Soundness of Extensional Normal-Form Bisimilarities. MFPS (2018)
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
Bisimulations for Delimited-Control Operators. CoRR (2018)
Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski
Handle with care: relational interpretation of algebraic effects and handlers. Proc. ACM Program. Lang. 2 (POPL) (2018)
Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation. Log. Methods Comput. Sci. 13 (3) (2017)
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
Proving Soundness of Extensional Normal-Form Bisimilarities. CoRR (2017)
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt
Fully abstract encodings of λ-calculus in HOcore through abstract machines. LICS (2017)
Dariusz Biernacki, Piotr Polesiuk
Logical relations for coherence of effect subtyping. CoRR (2017)
Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation. CoRR (2016)
Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation. FSCD (2016)
Dariusz Biernacki, Piotr Polesiuk
Logical Relations for Coherence of Effect Subtyping. TLCA (2015)