Ulf Norell
Ulf Norell
University of Gothenburg
Verified email at
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
Proceedings of the 4th international workshop on Types in language designá…, 2009
A brief overview of Agda–a functional language with dependent types
A Bove, P Dybjer, U Norell
Theorem Proving in Higher Order Logics: 22nd International Conferenceá…, 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
Implementation and Application of Functional Languages: 20th Internationalá…, 2011
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
Polytypic programming in Haskell
U Norell, P Jansson
Implementation of Functional Languages: 15th International Workshop, IFLá…, 2005
Find more bugs with QuickCheck!
J Hughes, U Norell, N Smallbone, T Arts
Proceedings of the 11th International Workshop on Automation of Softwareá…, 2016
Prototyping generic programming in Template Haskell
U Norell, P Jansson
International Conference on Mathematics of Program Construction, 314-333, 2004
The agda wiki
U Norell, NA Danielsson, A Abel, J Cockx
The agda wiKi, 2005
U Norell
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
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
Fundamental Approaches to Software Engineering: 17th Internationalá…, 2014
Functional generic programming and type theory
U Norell
Master´'s Thesis, Dept. of Computing Science, Chalmers University of Technology, 2002
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