
Registered user since Tue 27 Nov 2018
Name:Niels Voorneveld
Country:Estonia
Affiliation:Tallinn University of Technology
Personal website:http://nvoorneveld.com
Research interests:Program equivalence, Algebraic effects, realizability
Contributions
HOPE 2020 | Merging coeffect production into effect handling | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2020-profile
View general profile
View general profile