
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/
Contributions
HOPE 2017 | Logical Relations for Algebraic Effects | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2017-profile
View general profile
View general profile