Arts, Thomas; Hughes, John; Norell, Ulf; Smallbone, Nicholas; Svensson, Hans: Accelerating race condition detection through procrastination. Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, Tokyo, 23 September 2011, pp. 14-22. ISBN/ISSN: 978-145030859-5

Danielsson, Nils Anders; Norell, Ulf: Parsing mixfix operators . Lecture Notes in Computer Science, 20th International Symposium on Implementation and Application of Functional Languages, IFL 2008, Hatfield, 10 September through 12 September 2008, 5836 pp. 80-99. ISBN/ISSN: 978-364224451-3

Hughes, John; Norell, Ulf; Sautret, J.: Using temporal relations to specify and test an instant messaging server. Proceedings - International Conference on Software Engineering , pp. 95-102. ISBN/ISSN: 978-160558970-1

Bove, Ana; Dybjer, Peter; Norell, Ulf: A Brief Overview of Agda - A Functional Language with Dependent Types. Theorem Proving in Higher Order Logics , 5674 (LNCS) pp. 73--78.

Norell, Ulf: Towards a practical programming language based on dependent type theory. Göteborg : Chalmers University of Technology. Diss. ISBN/ISSN: 978-91-7291-996-9

Abel, Andreas; Benke, Marcin; Bove, Ana; Hughes, John; Norell, Ulf: Verifying Haskell Programs Using Constructive Type Theory. Proceedings of the 2005 ACM SIGPLAN Workshop on Haskell, ISBN/ISSN: 1-59593-071-X

Coquand, Thierry; Abel, Andreas; Norell, Ulf: Connecting a Logical Framework to a First-Order Logic Prover. . FroCos 2005, pp. 285-301.

Norell, Ulf: Implementing Functional Generic Programming. Göteborg : Chalmers University of Technology.

Norell, Ulf; Jansson, Patrik: Polytypic Programming in Haskell. Implementation of Functional Languages, LNCS (3145) pp. 168-184.

Norell, Ulf; Jansson, Patrik: Prototyping Generic Programming in Template Haskell. Lecture Notes in Computer Science, 3125 pp. 314-333. ISBN/ISSN: 3-540-22380-0