• Sign in
  • Sign up
conf.researchr.org / Dariusz Biernacki
  • 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
xWed 8 Feb 21:19
using conf.researchr.org (v1.58.0)
Support page
Sign Up