Registered user since Mon 13 Jun 2016

Name: Maciej Piróg

Country: Poland

Affiliation: University of Wrocław

Personal website: http://www.ii.uni.wroc.pl/~mpirog/

ICFP 2017 Activities

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