Towards a practical programming language based on dependent type theory U Norell Chalmers University of Technology, 2007 | 946 | 2007 |
Dependently typed programming in Agda U Norell Proceedings of the 4th international workshop on Types in language design …, 2009 | 581 | 2009 |
A Brief Overview of Agda-A Functional Language with Dependent Types. A Bove, P Dybjer, U Norell TPHOLs 5674, 73-78, 2009 | 361 | 2009 |
Testing AUTOSAR software with QuickCheck T Arts, J Hughes, U Norell, H Svensson 2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015 | 67 | 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 | 57 | 2005 |
Parsing mixfix operators NA Danielsson, U Norell Implementation and Application of Functional Languages: 20th International …, 2011 | 50 | 2011 |
Polytypic programming in Haskell U Norell, P Jansson Implementation of Functional Languages: 15th International Workshop, IFL …, 2005 | 41 | 2005 |
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 | 39 | 2016 |
Find more bugs with QuickCheck! J Hughes, U Norell, N Smallbone, T Arts Proceedings of the 11th International Workshop on Automation of Software …, 2016 | 22 | 2016 |
The agda wiki U Norell, NA Danielsson, A Abel, J Cockx | 21 | 2005 |
Prototyping generic programming in Template Haskell U Norell, P Jansson Mathematics of Program Construction: 7th International Conference, MPC 2004 …, 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 | 18 | 2005 |
Connecting a logical framework to a first-order logic prover A Abel, T Coquand, U Norell FroCos, 285-301, 2005 | 15 | 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 |
Functional generic programming and type theory U Norell Masterï's Thesis, Dept. of Computing Science, Chalmers University of Technology, 2002 | 13 | 2002 |
An Expressive Semantics of Mocking. J Svenningsson, H Svensson, N Smallbone, T Arts, U Norell, J Hughes FASE, 385-399, 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 |
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 |