Ulf Norell
Ulf Norell
University of Gothenburg
Verified email at chalmers.se
Cited by
Cited by
Towards a practical programming language based on dependent type theory
U Norell
Chalmers University of Technology, 2007
Dependently typed programming in Agda
U Norell
International school on advanced functional programming, 230-266, 2008
A brief overview of Agda–a functional language with dependent types
A Bove, P Dybjer, U Norell
International Conference on Theorem Proving in Higher Order Logics, 73-78, 2009
Testing AUTOSAR software with QuickCheck
T Arts, J Hughes, U Norell, H Svensson
2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015
Verifying Haskell programs using constructive type theory
A Abel, M Benke, A Bove, J Hughes, U Norell
Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, 62-73, 2005
Parsing mixfix operators
NA Danielsson, U Norell
Symposium on Implementation and Application of Functional Languages, 80-99, 2008
Polytypic programming in Haskell
U Norell, P Jansson
Symposium on Implementation and Application of Functional Languages, 168-184, 2003
Mysteries of dropbox: property-based testing of a distributed synchronization service
J Hughes, BC Pierce, T Arts, U Norell
2016 IEEE International Conference on Software Testing, Verification and …, 2016
Prototyping generic programming in Template Haskell
U Norell, P Jansson
International Conference on Mathematics of Program Construction, 314-333, 2004
Find more bugs with QuickCheck!
J Hughes, U Norell, N Smallbone, T Arts
2016 IEEE/ACM 11th International Workshop in Automation of Software Test …, 2016
The Agda standard library
NA Danielsson, U Norell, SC Mu, S Bronson, D Doel, P Jansson, LT Chen
Url: http://www. cs. nott. ac. uk/nad/repos/lib, 2011
The agda wiki
U Norell, NA Danielsson
The agda wiKi, 2005
U Norell
Connecting a logical framework to a first-order logic prover
A Abel, T Coquand, U Norell
International Workshop on Frontiers of Combining Systems, 285-301, 2005
Using temporal relations to specify and test an instant messaging server
J Hughes, U Norell, J Sautret
Proceedings of the 5th Workshop on Automation of Software Test, 95-102, 2010
An expressive semantics of mocking
J Svenningsson, H Svensson, N Smallbone, T Arts, U Norell, J Hughes
International Conference on Fundamental Approaches to Software Engineering …, 2014
Functional generic programming and type theory
U Norell
Formal methods based acceptance testing for AUTOSAR exchangeability
R Svenningsson, R Johansson, T Arts, U Norell
SAE International Journal of Passenger Cars-Electronic and Electrical …, 2012
Type checking in the presence of meta-variables
U Norell, C Coquand
Submitted to Typed Lambda Calculi and Applications, 2007
Testing blocking operations with quickcheck's component library
U Norell, H Svensson, T Arts
Proceedings of the twelfth ACM SIGPLAN workshop on Erlang, 87-92, 2013
The system can't perform the operation now. Try again later.
Articles 1–20