ETAPS 2019 (series) / 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
ETAPS 2019-profile
View general profile
View general profile