Nils Anders Danielsson

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

Nils Anders Danielsson
Disclaimer
Last updated Fri Aug 29 15:15:54 UTC 2014.
Me.