| |
| 2009 | ||
|---|---|---|
| 5 | EE | Ulf Norell: Dependently typed programming in Agda. TLDI 2009: 1-2 |
| 2005 | ||
| 4 | EE | Andreas Abel, Thierry Coquand, Ulf Norell: Connecting a Logical Framework to a First-Order Logic Prover. FroCos 2005: 285-301 |
| 3 | EE | Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell: Verifying haskell programs using constructive type theory. Haskell 2005: 62-73 |
| 2004 | ||
| 2 | EE | Ulf Norell, Patrik Jansson: Prototyping Generic Programming in Template Haskell. MPC 2004: 314-333 |
| 2003 | ||
| 1 | EE | Ulf Norell, Patrik Jansson: Polytypic Programming in Haskell. IFL 2003: 168-184 |
| 1 | Andreas Abel | [3] [4] |
| 2 | Marcin Benke | [3] |
| 3 | Ana Bove | [3] |
| 4 | Thierry Coquand | [4] |
| 5 | John Hughes | [3] |
| 6 | Patrik Jansson | [1] [2] |