Towards a practical programming language based on dependent type theory U Norell Chalmers University of Technology, 2007 | 831 | 2007 |

Dependently typed programming in Agda U Norell International school on advanced functional programming, 230-266, 2008 | 443 | 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 | 293 | 2009 |

Testing AUTOSAR software with QuickCheck T Arts, J Hughes, U Norell, H Svensson 2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015 | 55 | 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 | 42 | 2005 |

Parsing mixfix operators NA Danielsson, U Norell Symposium on Implementation and Application of Functional Languages, 80-99, 2008 | 41 | 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 | 26 | 2016 |

Prototyping generic programming in Template Haskell U Norell, P Jansson International Conference on Mathematics of Program Construction, 314-333, 2004 | 20 | 2004 |

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 | 19 | 2016 |

The agda wiki U Norell, NA Danielsson | 19 | 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 | 18 | 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 |

Functional generic programming and type theory U Norell | 12 | 2002 |

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 | 11 | 2014 |

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 | 10 | 2007 |

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 | 8 | 2013 |