| Towards a practical programming language based on dependent type theory U Norell Chalmers University of Technology, 2007 | 897 | 2007 |
| Dependently typed programming in Agda U Norell International school on advanced functional programming, 230-266, 2008 | 525 | 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 | 324 | 2009 |
| Testing AUTOSAR software with QuickCheck T Arts, J Hughes, U Norell, H Svensson 2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015 | 64 | 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 | 49 | 2005 |
| Parsing mixfix operators NA Danielsson, U Norell Symposium on Implementation and Application of Functional Languages, 80-99, 2008 | 46 | 2008 |
| Polytypic programming in Haskell U Norell, P Jansson Symposium on Implementation and Application of Functional Languages, 168-184, 2003 | 40 | 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 | 33 | 2016 |
| 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 | 21 | 2016 |
| The agda wiki U Norell, NA Danielsson, A Abel, J Cockx | 20 | 2005 |
| Prototyping generic programming in Template Haskell U Norell, P Jansson International Conference on Mathematics of Program Construction, 314-333, 2004 | 20 | 2004 |
| 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 | 19 | 2011 |
| The agda wiKi, 2005 U Norell | 17 | 2005 |
| 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 | 16 | 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 | 14 | 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 | 12 | 2014 |
| Type checking in the presence of meta-variables U Norell, C Coquand Submitted to Typed Lambda Calculi and Applications, 2007 | 12 | 2007 |
| Functional generic programming and type theory U Norell | 12 | 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 | 11 | 2012 |
| 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 | 9 | 2013 |
