Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dariusz Biernacki
conf.researchr.org general profile
APLAS 2020 profile
ETAPS 2019 profile
ICFP 2017 profile
ICFP 2018 profile
ICFP 2022 profile
POPL 2018 profile
POPL 2019 profile
POPL 2020 profile
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
Share
x
Wed 8 Feb 21:19