Ulf Norell

Chalmers University of Technology - Göteborg / Sweden

Others

AD Scientific Index ID: 1397648

Chalmers tekniska högskola

Registration, Add Profile,
Premium Membership

Print Your Certificate

Ulf Norell's MOST POPULAR ARTICLES

1-) Towards a practical programming language based on dependent type theoryU NorellChalmers University of Technology, 20079212007

2-) Dependently typed programming in AgdaU NorellProceedings of the 4th international workshop on Types in language design …, 20095452009

3-) A brief overview of Agda–a functional language with dependent typesA Bove, P Dybjer, U NorellTheorem Proving in Higher Order Logics: 22nd International Conference …, 20093572009

4-) Testing AUTOSAR software with QuickCheckT Arts, J Hughes, U Norell, H Svensson2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015852015

5-) Parsing mixfix operatorsNA Danielsson, U NorellSymposium on Implementation and Application of Functional Languages, 80-99, 2008612008

ARTICLES

Add your articles