
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