Nils Anders Danielsson

I am a postdoc in the Functional Programming Laboratory at the University of Nottingham. Currently my main research interest is dependently typed programming; I am generally interested in functional programming and discrete mathematics.

• Publications
• Talks
• Contact info
• Software

You may want to submit a paper to TFP 2010.