| Towards a practical programming language based on dependent type theory U Norell Chalmers University of Technology, 2007 | 1078 | 2007 |
| Dependently typed programming in Agda U Norell Proceedings of the 4th international workshop on Types in language design …, 2009 | 709 | 2009 |
| 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 | 463 | 2009 |
| Testing AUTOSAR software with QuickCheck T Arts, J Hughes, U Norell, H Svensson 2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015 | 92 | 2015 |
| Parsing mixfix operators NA Danielsson, U Norell Symposium on Implementation and Application of Functional Languages, 80-99, 2008 | 66 | 2008 |
| 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 | 62 | 2016 |
| 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 | 61 | 2005 |
| Polytypic programming in Haskell U Norell, P Jansson Symposium on Implementation and Application of Functional Languages, 168-184, 2003 | 45 | 2003 |
| 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 |
| The agda wiki U Norell, NA Danielsson, A Abel, J Cockx | 24 | 2005 |
| The agda wiKi, 2005 U Norell | 22 | 2005 |
| Prototyping generic programming in Template Haskell U Norell, P Jansson International Conference on Mathematics of Program Construction, 314-333, 2004 | 22 | 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 | 21 | 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 | 19 | 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 | 15 | 2010 |
| Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs J Cockx, O Melkonian, L Escot, J Chapman, U Norell Proceedings of the 15th ACM SIGPLAN International Haskell Symposium, 108-122, 2022 | 14 | 2022 |
| 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 |
| 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 |
| Type checking in the presence of meta-variables U Norell, C Coquand Submitted to Typed Lambda Calculi and Applications, 2007 | 11 | 2007 |
