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