To the top

Page Manager: Webmaster
Last update: 4/19/2017 1:56 PM

Tell a friend about this page
Print version

Nils Anders Danielsson - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Nils Anders Danielsson

Senior lecturer

Nils Anders Danielsson
Senior lecturer
nils.danielsson@gu.se
+46 31-772 1680

Room number: 6480
Visiting Address: Rännvägen 6b , 41258 Göteborg


Computer Science (CS) at Department of Computer Science and Engineering (More Information)
412 96 Göteborg
0317721000
Visiting Address: Rännvägen 6B , 412 58 Göteborg

Latest publications

Up-to Techniques using Sized Types
Nils Anders Danielsson
Proceedings of the ACM on Programming Languages, Journal article 2018
Journal article

Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type
Thorsten Altenkirch, Nils Anders Danielsson, Nicolai Kraus
Foundations of Software Science and Computation Structures, 20th International Conference, FOSSACS 2017, Berlin, Springer-Verlag GmbH Germany, Conference paper 2017
Conference paper

Type Theory with Weak J
Thorsten Altenkirch, Paolo Capriotti, Thierry Coquand, Nils Anders Danielsson, Simon Huber et al.
23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017, Abstracts, Budapest, Hungary, Department of Programming Languages and Compilers, Faculty of Informatics, Eötvös Loránd University, Conference contribution 2017
Conference contribution

Towards practical out-of-order unification
Nils Anders Danielsson, Vı́ctor López Juan
23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017, Abstracts, Budapest, Hungary, Department of Programming Languages and Compilers, Faculty of Informatics, Eötvös Loránd University, Conference contribution 2017
Conference contribution

Partiality, Revisited
Thorsten Altenkirch, Nils Anders Danielsson
TYPES 2016, Types for Proofs and Programs, 22nd Meeting, Novi Sad, Serbia, 23 – 26 May, 2016, Book of Abstracts, Conference contribution 2016
Conference contribution

Correct-by-Construction Pretty-Printing
Nils Anders Danielsson
Proceedings of the 2013 ACM SIGPLAN Workshop on Dependently-Typed Programming (DTP 2013), Association for Computing Machinery (ACM), Conference paper 2013
Conference paper

Isomorphism is equality
Thierry Coquand, Nils Anders Danielsson
Indagationes mathematicae, Journal article 2013
Journal article

Operational Semantics Using the Partiality Monad
Nils Anders Danielsson
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming (ICFP 2012), Conference paper 2012
Conference paper

Bag Equivalence via a Proof-Relevant Membership Relation
Nils Anders Danielsson
Interactive Theorem Proving, Third International Conference, ITP 2012, Conference paper 2012
Conference paper

Showing 11 - 18 of 18

2008

Lightweight Semiformal Time Complexity Analysis for Purely Functional Data Structures
Nils Anders Danielsson
Conference record of the 35th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL 2008), Conference paper 2008
Conference paper

2007

Functional Program Correctness Through Types
Nils Anders Danielsson
Göteborg, Chalmers University of Technology, Doctoral thesis 2007
Doctoral thesis

A Formalisation of a Dependently Typed Language as an Inductive-Recursive Family
Nils Anders Danielsson
Thorsten Altenkirch and Conor McBride (Eds.): Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 2006, Revised Selected Papers, Conference paper 2007
Conference paper

2006

Fast and Loose Reasoning is Morally Correct
Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL 2006), Conference paper 2006
Conference paper

2005

Precise Reasoning About Non-strict Functional Programs; How to Chase Bottoms, and How to Ignore Them
Nils Anders Danielsson
Göteborg, Chalmers University of Technology, Licentiate thesis 2005
Licentiate thesis

2004

Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values
Nils Anders Danielsson, Patrik Jansson
Proceedings of the 7th International Conference on Mathematics of Program Construction, MPC 2004, LNCS 3125, Conference paper 2004
Conference paper

Showing 11 - 18 of 18

Page Manager: Webmaster|Last update: 4/19/2017
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?