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 | Author of Merging coeffect production into effect handling within the HOPE 2020-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2020-profile
View general profile
View general profile