Niels Voorneveld

I am doing a postdoc at Tallinn University of Tecnhnology, in Estonia.

I am interested in the theory of functional programming languages in general, and descriptions of (algebraic) effects in particular.