Till sidans topp

Sidansvarig: Växeln
Sidan uppdaterades: 2018-11-25 19:37

Tipsa en vän
Utskriftsversion

Nils Anders Danielsson - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Nils Anders Danielsson

Universitetslektor

Nils Anders Danielsson
Universitetslektor
Akademisk grad: Docent,
nils.danielsson@gu.se
0 31-772 1680

Rumsnummer: 6480
Besöksadress: Rännvägen 6b , 41258 Göteborg


Datavetenskap (CS) vid Institutionen för data- och informationsteknik (Mer information)
412 96 Göteborg
0317721000
Besöksadress: Rännvägen 6B , 412 58 Göteborg

Senaste publikationer

Up-to Techniques using Sized Types
Nils Anders Danielsson
Proceedings of the ACM on Programming Languages, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

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, Paper i proceeding 2017
Paper i proceeding

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, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2017
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

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, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2017
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

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, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2016
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

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), Paper i proceeding 2013
Paper i proceeding

Isomorphism is equality
Thierry Coquand, Nils Anders Danielsson
Indagationes mathematicae, Artikel i vetenskaplig tidskrift 2013
Artikel i vetenskaplig tidskrift

Operational Semantics Using the Partiality Monad
Nils Anders Danielsson
SIGPLAN notices, Artikel i vetenskaplig tidskrift 2012
Artikel i vetenskaplig tidskrift

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

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

Visar 11 - 18 av 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), Paper i proceeding 2008
Paper i proceeding

2007

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

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, Paper i proceeding 2007
Paper i proceeding

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), Paper i proceeding 2006
Paper i proceeding

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, Licentiatsavhandling 2005
Licentiatsavhandling

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, Paper i proceeding 2004
Paper i proceeding

Visar 11 - 18 av 18

Sidansvarig: Växeln|Sidan uppdaterades: 2018-11-25
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?