| |
| 2008 | ||
|---|---|---|
| 5 | EE | Nils Anders Danielsson: Lightweight semiformal time complexity analysis for purely functional data structures. POPL 2008: 133-144 |
| 2006 | ||
| 4 | EE | Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons: Fast and loose reasoning is morally correct. POPL 2006: 206-217 |
| 3 | EE | Nils Anders Danielsson: A Formalisation of a Dependently Typed Language as an Inductive-Recursive Family. TYPES 2006: 93-109 |
| 2004 | ||
| 2 | EE | 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 | EE | Nils Anders Danielsson, Michael B. Smyth: Matroids from modules. Electr. Notes Theor. Comput. Sci. 74: (2002) |
| 1 | Jeremy Gibbons | [4] |
| 2 | John Hughes | [4] |
| 3 | Patrik Jansson | [2] [4] |
| 4 | Michael B. Smyth | [1] |