 | 2009 |
|---|
| 7 |       | Ulf Norell:
Dependently typed programming in Agda.
TLDI 2009: 1-2 |
| 6 | | Ana Bove,
Peter Dybjer,
Ulf Norell:
A Brief Overview of Agda - A Functional Language with Dependent Types.
TPHOLs 2009: 73-78 |
| 2008 |
|---|
| 5 | | Ulf Norell:
Dependently Typed Programming in Agda.
Advanced Functional Programming 2008: 230-266 |
| 2005 |
|---|
| 4 | | Andreas Abel,
Thierry Coquand,
Ulf Norell:
Connecting a Logical Framework to a First-Order Logic Prover.
FroCos 2005: 285-301 |
| 3 | | Andreas Abel,
Marcin Benke,
Ana Bove,
John Hughes,
Ulf Norell:
Verifying haskell programs using constructive type theory.
Haskell 2005: 62-73 |
| 2004 |
|---|
| 2 | | Ulf Norell,
Patrik Jansson:
Prototyping Generic Programming in Template Haskell.
MPC 2004: 314-333 |
| 2003 |
|---|
| 1 | | Ulf Norell,
Patrik Jansson:
Polytypic Programming in Haskell.
IFL 2003: 168-184 |
