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/

All Activities

• Author of Handle with Care: Relational Interpretation of Algebraic Effects and Handlers within the Artifact Evaluation-track in POPL 2018
• Committee Member in Program Committee for Haskell 2018
• Author of Handle with Care: Relational Interpretation of Algebraic Effects and Handlers within the Research Papers-track in POPL 2018
• Author of String Diagrams for Free Monads (Functional Pearl) within the Research Papers-track in ICFP 2016
• Author of Logical Relations for Algebraic Effects within the HOPE 2017-track in HOPE 2017