Nils Anders Danielsson

I am an assistant professor at Chalmers University of Technology and University of Gothenburg. Currently my main research interest is dependently typed programming; I am generally interested in functional programming and discrete mathematics.

• Publications including accompanying code
• Talks
• Contact info
• Software

You may want to submit a paper to LFMTP 2012, Haskell 2012 or POPL 2013.