conf.researchr.org / Dariusz Biernacki

Registered user since Wed 13 Apr 2022

Name:Dariusz Biernacki
Affiliation:University of Wrocław

Contributions

ML 2022 Committee Member in Program Committee within the ML-track
APLAS 2020 Author of An Abstract Machine for Strong Call by Value within the Research Papers-track
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
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
CPP 2018 Author of A Coq Formalization of Normalization by Evaluation for Martin-Löf Type Theory within the CPP 2018-track
POPL 2018 Author of Handle with Care: Relational Interpretation of Algebraic Effects and Handlers within the Research Papers-track
Author of Handle with Care: Relational Interpretation of Algebraic Effects and Handlers within the Artifact Evaluation-track
HOPE 2017 Author of Logical Relations for Algebraic Effects within the HOPE 2017-track