Piotr Polesiuk -

Not registered as user yet

Name:Piotr Polesiuk

Affiliation:University of Wrocław

Contributions

POPL 2020	Author of Binders by Day, Labels by Night: Effect Instances via Lexically Scoped Handlers within the Research Papers-track
FOSSACS 2019	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 2019	Author of Abstracting Algebraic Effects within the Research Papers-track
ML 2018	Author of Programming with Abstract Algebraic Effects within the ML 2018-track
POPL 2018	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
HOPE 2017	Author of Logical Relations for Algebraic Effects within the HOPE 2017-track
CoqPL 2017	Author of IxFree: Step-Indexed Logical Relations in Coq within the CoqPL 2017-track