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