Nils Anders Danielsson

I am a researcher at the University of Gothenburg and Chalmers University of Technology. Currently my main research interest is dependently typed programming.

Nils Anders Danielsson
Last updated Thu Jun 22 09:29:41 UTC 2017.
Me.