conf.researchr.org / Dariusz Biernacki

Not registered as user yet

Name:Dariusz Biernacki
Affiliation:University of Wrocław

Contributions

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
HOPE 2017 Author of Logical Relations for Algebraic Effects within the HOPE 2017-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