Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Piotr Polesiuk
conf.researchr.org general profile
ETAPS 2019 profile
ICFP 2017 profile
ICFP 2018 profile
ICFP 2024 profile
ICFP/SPLASH 2025 profile
POPL 2017 profile
POPL 2018 profile
POPL 2019 profile
POPL 2020 profile
POPL 2024 profile
POPL 2025 profile
Not registered as user
Name:
Piotr Polesiuk
Country:
Poland
Affiliation:
University of Wrocław
Contributions
2025
OlivierFest
Author of Untyped Logical Relations at Work: Control Operators, Contextual Equivalence and Full Abstraction within the OlivierFest 2025-track
CoqPL
Committee Member in Program Committee within the CoqPL 2025-track
2024
HOPE
Author of Logical Relations for Effect Capabilities within the HOPE 2024-track
ML
Author of Fram: Named Parameters Pushed to the Limit within the ML-track
CoqPL
Author of Functorial Syntax for All within the CoqPL 2024-track
2020
POPL
Author of Binders by Day, Labels by Night: Effect Instances via Lexically Scoped Handlers within the Research Papers-track
2019
FOSSACS
Author of A Complete Normal-Form Bisimilarity for State within the FOSSACS 2019-track
Author of Equational Theories and Monads from Polynomial Cayley Representations within the FOSSACS 2019-track
POPL
Author of Abstracting Algebraic Effects within the Research Papers-track
2018
ML
Author of Programming with Abstract Algebraic Effects within the ML 2018-track
POPL
Author of Handle with Care: Relational Interpretation of Algebraic Effects and Handlers within the Artifact Evaluation-track
Author of Handle with Care: Relational Interpretation of Algebraic Effects and Handlers within the Research Papers-track
2017
HOPE
Author of Logical Relations for Algebraic Effects within the HOPE 2017-track
CoqPL
Author of IxFree: Step-Indexed Logical Relations in Coq within the CoqPL 2017-track
Share
x
Mon 27 Oct 19:09