Ulf Norell

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

Connecting a Logical Framework to a First-Order Logic

Prover.

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