Nils Anders Danielsson

	2008
5		Nils Anders Danielsson: Lightweight semiformal time complexity analysis for purely functional data structures. POPL 2008: 133-144
	2006
4		Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons: Fast and loose reasoning is morally correct. POPL 2006: 206-217
3		Nils Anders Danielsson: A Formalisation of a Dependently Typed Language as an Inductive-Recursive Family. TYPES 2006: 93-109
	2004
2		Nils Anders Danielsson, Patrik Jansson: Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values. MPC 2004: 85-109
	2002
1		Nils Anders Danielsson, Michael B. Smyth: Matroids from modules. Electr. Notes Theor. Comput. Sci. 74: (2002)

Coauthor Index

1	Jeremy Gibbons	[4]
2	John Hughes	[4]
3	Patrik Jansson	[2] [4]
4	Michael B. Smyth	[1]

Colors in the list of coauthors