MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Ulf Norell" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Functional Generic Programming and Type Theory
by Ulf Norell — 2002
…Functional Generic Programming and Type Theory Ulf Norell, ulfn@(email omitted); October 24, 2002 2…
Cited by 3 (2 self) – Add To MetaCart

Towards a practical programming language based on dependent type theory
by Ulf Norell, Ulf Norell, C Ulf Norell — 2007
… on dependent type theory Ulf Norell Department of Computer Science and Engineering Chalmers University…
Cited by 16 (0 self) – Add To MetaCart

Polytypic programming in Haskell
by Ulf Norell, Patrik Jansson — 2003 — In Draft proceedings of the 15th International Workshop on the Implementation of Functional Languages (IFL'03)
…Polytypic Programming in Haskell Ulf Norell and Patrik Jansson Computing Science, Chalmers…
Cited by 13 (1 self) – Add To MetaCart

Connecting a logical framework to a first-order logic prover (extended version
by Andreas Abel, Thierry Coqu, Ulf Norell — 2005 — In FroCos’05: Proceedings of the 5th International Workshop on Frontiers of Combining Systems
…, and Ulf Norell Department of Computing Science, Chalmers University of Technology {abel…
Cited by 1 (0 self) – Add To MetaCart

Verifying Haskell programs using constructive type theory
by Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell — 2005 — In Haskell’05
… Ana Bove John Hughes Ulf Norell Chalmers University of Technology fabel…
Cited by 4 (0 self) – Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB