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
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
Affiliation:
University of Wrocław
Contributions
2025
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
Fri 18 Jul 12:44