|
Search the dblp DataBase
Ulf Norell:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Andreas Abel, Thierry Coquand, Ulf Norell
Connecting a Logical Framework to a First-Order Logic Prover. [Citation Graph (0, 0)][DBLP] FroCos, 2005, pp:285-301 [Conf]
- Ulf Norell, Patrik Jansson
Polytypic Programming in Haskell. [Citation Graph (0, 0)][DBLP] IFL, 2003, pp:168-184 [Conf]
- Ulf Norell, Patrik Jansson
Prototyping Generic Programming in Template Haskell. [Citation Graph (0, 0)][DBLP] MPC, 2004, pp:314-333 [Conf]
- Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell
Verifying haskell programs using constructive type theory. [Citation Graph (0, 0)][DBLP] Haskell, 2005, pp:62-73 [Conf]
Dependently Typed Programming in Agda. [Citation Graph (, )][DBLP]
Dependently typed programming in Agda. [Citation Graph (, )][DBLP]
A Brief Overview of Agda - A Functional Language with Dependent Types. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|