Ulf Norell (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

Selection of 2 from 7 records - Ulf Norell has 7 coauthors

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