conf.researchr.org / Niels Voorneveld
Registered user since Tue 27 Nov 2018
Name:Niels Voorneveld
Country:Slovenia
Affiliation:University of Ljubljana
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 |
| PERR 2019 | Committee Member in Program Committee within the PERR-track |