Travelled to:1 × Poland
Collaborated with:D.Biernacki M.Piróg F.Sieczkowski
Talks about:effect (4) handler (2) algebra (2) relat (2) interpret (1) abstract (1) instanc (1) subtyp (1) binder (1) scope (1)
Person: Piotr Polesiuk
DBLP: Polesiuk:Piotr
Contributed to:
2015
201820192020Wrote 4 papers:
- TLCA-2015-BiernackiP #logic #type system
- Logical Relations for Coherence of Effect Subtyping (DB, PP), pp. 107–122.
- POPL-2018-BiernackiPPS #algebra #relational
- Handle with care: relational interpretation of algebraic effects and handlers (DB, MP, PP, FS), p. 30.
- POPL-2019-BiernackiPPS #algebra
- Abstracting algebraic effects (DB, MP, PP, FS), p. 28.
- POPL-2020-BiernackiPPS
- Binders by day, labels by night: effect instances via lexically scoped handlers (DB, MP, PP, FS), p. 29.