Следене
Ulf Norell
Ulf Norell
University of Gothenburg
Потвърден имейл адрес: chalmers.se
Заглавие
Позовавания
Позовавания
Година
Towards a practical programming language based on dependent type theory
U Norell
Chalmers University of Technology, 2007
9832007
Dependently typed programming in Agda
U Norell
Proceedings of the 4th international workshop on Types in language design …, 2009
6252009
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
3832009
Testing AUTOSAR software with QuickCheck
T Arts, J Hughes, U Norell, H Svensson
2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015
722015
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
582005
Parsing mixfix operators
NA Danielsson, U Norell
Implementation and Application of Functional Languages: 20th International …, 2011
542011
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
452016
Polytypic programming in Haskell
U Norell, P Jansson
Implementation of Functional Languages: 15th International Workshop, IFL …, 2005
412005
Find more bugs with QuickCheck!
J Hughes, U Norell, N Smallbone, T Arts
Proceedings of the 11th International Workshop on Automation of Software …, 2016
242016
Prototyping generic programming in Template Haskell
U Norell, P Jansson
International Conference on Mathematics of Program Construction, 314-333, 2004
222004
The agda wiki
U Norell, NA Danielsson, A Abel, J Cockx
212005
The agda wiKi, 2005
U Norell
212005
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
192011
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
152005
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
142010
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
122014
Functional generic programming and type theory
U Norell
Masterï's Thesis, Dept. of Computing Science, Chalmers University of Technology, 2002
122002
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
112012
Type checking in the presence of meta-variables
U Norell, C Coquand
Submitted to Typed Lambda Calculi and Applications, 2007
112007
Interactive programming with dependent types
U Norell
Proceedings of the 18th ACM SIGPLAN international conference on Functional …, 2013
102013
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20