conf.researchr.org / Dariusz Biernacki

Not registered as user yet

Name: Dariusz Biernacki

Affiliation: University of Wrocław

Contributions

ML 2018Author of Programming with Abstract Algebraic Effects within the ML 2018-track
CPP 2018Author of A Coq Formalization of Normalization by Evaluation for Martin-Löf Type Theory within the CPP 2018-track
HOPE 2017Author of Logical Relations for Algebraic Effects within the HOPE 2017-track
POPL 2018Author 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