Not registered as user yet

Name: Dariusz Biernacki

Affiliation: University of Wrocław

ICFP 2017 Activities

• Author of Logical Relations for Algebraic Effects within the HOPE 2017-track in HOPE 2017
• Show activities from other conferences