Registered user since Mon 13 Mar 2017
Name: Matija Pretnar
Country: Slovenia
Affiliation: University of Ljubljana, Slovenia
Personal website: http://matija.pretnar.info/
Research interests: Programming Languages
Contributions
| ICFP 2020 | Local algebraic effect theories | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2020-profile
View general profile
View general profile