Piotr Polesiuk

Orcid: 0000-0002-7012-4346

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Fully Abstract Encodings of $\lambda$-Calculus in HOcore through Abstract Machines.
Log. Methods Comput. Sci., 2024

2020
Binders by day, labels by night: effect instances via lexically scoped handlers.
Proc. ACM Program. Lang., 2020

A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers.
Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

2019
Abstracting algebraic effects.
Proc. ACM Program. Lang., 2019

Bisimulations for Delimited-Control Operators.
Log. Methods Comput. Sci., 2019

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

Typed Equivalence of Effect Handlers and Delimited Control.
Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

Equational Theories and Monads from Polynomial Cayley Representations.
Proceedings of the Foundations of Software Science and Computation Structures, 2019

A Complete Normal-Form Bisimilarity for State.
Proceedings of the Foundations of Software Science and Computation Structures, 2019

2018
Handle with care: relational interpretation of algebraic effects and handlers.
Proc. ACM Program. Lang., 2018

Logical relations for coherence of effect subtyping.
Log. Methods Comput. Sci., 2018

Proving Soundness of Extensional Normal-Form Bisimilarities.
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.
Log. Methods Comput. Sci., 2017

Fully abstract encodings of λ-calculus in HOcore through abstract machines.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017


  Loading...