Ulf Norell

John Hughes, Ulf Norell, Nicholas Smallbone, Thomas Arts
11th IEEE/ACM International Workshop on Automation of Software Test (AST 2016) - 2016

John Hughes, Benjamin Pierce, Thomas Arts, Ulf Norell
IEEE International Conference on Software Testing, Verification and Validation (ICST) 2016 - 2016

Ulf Norell, Alex Gerdes
Proceedings of the Fourteenth ACM SIGPLAN Workshop on Erlang - 2015

Josef Svenningsson, H.E. Svensson, Nicholas Smallbone, T. Arts, Ulf Norell, John Hughes
Lecture Notes in Computer Science: 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 - 2014

Ulf Norell
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP - 2013

Thomas Arts, John Hughes, Ulf Norell, Nicholas Smallbone, Hans Svensson
Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, Tokyo, 23 September 2011 - 2011

Nils Anders Danielsson, Ulf Norell
Lecture Notes in Computer Science, 20th International Symposium on Implementation and Application of Functional Languages, IFL 2008, Hatfield, 10 September through 12 September 2008 - 2011

John Hughes, Ulf Norell, J. Sautret
Proceedings - International Conference on Software Engineering - 2010

Ana Bove, Peter Dybjer, Ulf Norell
Theorem Proving in Higher Order Logics - 2009

Ulf Norell
2007

Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell
Proceedings of the 2005 ACM SIGPLAN Workshop on Haskell - 2005

Thierry Coquand, Andreas Abel, Ulf Norell
FroCos 2005 - 2005

Ulf Norell, Patrik Jansson
Implementation of Functional Languages - 2004

Ulf Norell, Patrik Jansson
Lecture Notes in Computer Science - 2004

Ulf Norell
2004