Follow
Ulf Norell
Ulf Norell
University of Gothenburg
Verified email at chalmers.se
Title
Cited by
Cited by
Year
Towards a practical programming language based on dependent type theory
U Norell
Chalmers University of Technology, 2007
9462007
Dependently typed programming in Agda
U Norell
Proceedings of the 4th international workshop on Types in language designá…, 2009
5812009
A Brief Overview of Agda-A Functional Language with Dependent Types.
A Bove, P Dybjer, U Norell
TPHOLs 5674, 73-78, 2009
3612009
Testing AUTOSAR software with QuickCheck
T Arts, J Hughes, U Norell, H Svensson
2015 IEEE Eighth International Conference on Software Testing, Verificationá…, 2015
672015
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
572005
Parsing mixfix operators
NA Danielsson, U Norell
Implementation and Application of Functional Languages: 20th Internationalá…, 2011
502011
Polytypic programming in Haskell
U Norell, P Jansson
Implementation of Functional Languages: 15th International Workshop, IFLá…, 2005
412005
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
392016
Find more bugs with QuickCheck!
J Hughes, U Norell, N Smallbone, T Arts
Proceedings of the 11th International Workshop on Automation of Softwareá…, 2016
222016
The agda wiki
U Norell, NA Danielsson, A Abel, J Cockx
212005
Prototyping generic programming in Template Haskell
U Norell, P Jansson
Mathematics of Program Construction: 7th International Conference, MPC 2004á…, 2004
202004
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
192011
The agda wiKi, 2005
U Norell
182005
Connecting a logical framework to a first-order logic prover
A Abel, T Coquand, U Norell
FroCos, 285-301, 2005
152005
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
142010
Functional generic programming and type theory
U Norell
Master´'s Thesis, Dept. of Computing Science, Chalmers University of Technology, 2002
132002
An Expressive Semantics of Mocking.
J Svenningsson, H Svensson, N Smallbone, T Arts, U Norell, J Hughes
FASE, 385-399, 2014
122014
Type checking in the presence of meta-variables
U Norell, C Coquand
Submitted to Typed Lambda Calculi and Applications, 2007
122007
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
112012
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
92013
The system can't perform the operation now. Try again later.
Articles 1–20