| Towards a practical programming language based on dependent type theory U Norell Chalmers University of Technology, 2007 | 967 | 2007 |
| Dependently typed programming in Agda U Norell Proceedings of the 4th international workshop on Types in language design …, 2009 | 605 | 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 | 370 | 2009 |
| Testing AUTOSAR software with QuickCheck T Arts, J Hughes, U Norell, H Svensson 2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015 | 70 | 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 | 58 | 2005 |
| Parsing mixfix operators NA Danielsson, U Norell Implementation and Application of Functional Languages: 20th International …, 2011 | 54 | 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 | 43 | 2016 |
| Polytypic programming in Haskell U Norell, P Jansson Implementation of Functional Languages: 15th International Workshop, IFL …, 2005 | 41 | 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 | 24 | 2016 |
| Prototyping generic programming in Template Haskell U Norell, P Jansson International Conference on Mathematics of Program Construction, 314-333, 2004 | 22 | 2004 |
| The agda wiki U Norell, NA Danielsson, A Abel, J Cockx | 21 | 2005 |
| The agda wiKi, 2005 U Norell | 20 | 2005 |
| 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 |
| 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 Fundamental Approaches to Software Engineering: 17th International …, 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 Masterï's Thesis, Dept. of Computing Science, Chalmers University of Technology, 2002 | 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 |
| Interactive programming with dependent types U Norell Proceedings of the 18th ACM SIGPLAN international conference on Functional …, 2013 | 10 | 2013 |
