- Home
- About
- Find staff
- Ulf Norell
Ulf Norell
Principal Research Engineer
Logic and Types (LT)-
Find More Bugs with
QuickCheck!
John Hughes, Ulf Norell, Nicholas Smallbone, Thomas Arts
11th IEEE/ACM International Workshop on Automation of Software Test (AST 2016) - 2016 -
Mysteries of Dropbox: Property-based Testing of a Distributed Synchronization
Service
John Hughes, Benjamin Pierce, Thomas Arts, Ulf Norell
IEEE International Conference on Software Testing, Verification and Validation (ICST) 2016 - 2016 -
Attribute grammars in
Erlang
Ulf Norell, Alex Gerdes
Proceedings of the Fourteenth ACM SIGPLAN Workshop on Erlang - 2015 -
An expressive semantics of
mocking
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 -
Interactive programming with dependent
types
Ulf Norell
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP - 2013 -
Accelerating race condition detection through
procrastination
Thomas Arts, John Hughes, Ulf Norell, Nicholas Smallbone, Hans Svensson
Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, Tokyo, 23 September 2011 - 2011 -
Parsing mixfix
operators
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 -
Using temporal relations to specify and test an instant messaging
server
John Hughes, Ulf Norell, J. Sautret
Proceedings - International Conference on Software Engineering - 2010 -
A Brief Overview of Agda - A Functional Language with Dependent
Types
Ana Bove, Peter Dybjer, Ulf Norell
Theorem Proving in Higher Order Logics - 2009 -
Towards a practical programming language based on dependent type
theory
Ulf Norell
2007 -
Verifying Haskell Programs Using Constructive Type
Theory
Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell
Proceedings of the 2005 ACM SIGPLAN Workshop on Haskell - 2005 -
Connecting a Logical Framework to a First-Order Logic
Prover.
Thierry Coquand, Andreas Abel, Ulf Norell
FroCos 2005 - 2005 -
Polytypic Programming in
Haskell
Ulf Norell, Patrik Jansson
Implementation of Functional Languages - 2004 -
Prototyping Generic Programming in Template
Haskell
Ulf Norell, Patrik Jansson
Lecture Notes in Computer Science - 2004 -
Implementing Functional Generic
Programming
Ulf Norell
2004