91̽��

Andreas Abel, Nils Anders Danielsson, Oskar Eriksson
Proceedings of the ACM on Programming Languages - 2023

Paolo Capriotti, Nils Anders Danielsson, Andrea Vezzosi
2021 36th Annual ACM/IEEE Symposium on Logic in Computer 91̽�� (LICS) - 2021

Víctor López Juan, Nils Anders Danielsson
TyDe '20, Proceedings of the 5th ACM SIGPLAN International Workshop on Type-Driven Development - 2020

Nils Anders Danielsson
25th International Conference on Types for Proofs and Programs - 2020

Nils Anders Danielsson
Proceedings of the ACM on Programming Languages - 2018

Thorsten Altenkirch, Paolo Capriotti, Thierry Coquand, Nils Anders Danielsson, Simon Huber, Nicolai Kraus
23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017, Abstracts - 2017

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 - 2017

Thorsten Altenkirch, Nils Anders Danielsson, Nicolai Kraus
Foundations of Software 91̽�� and Computation Structures, 20th International Conference, FOSSACS 2017 - 2017

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

Nils Anders Danielsson
Proceedings of the 2013 ACM SIGPLAN Workshop on Dependently-Typed Programming (DTP 2013) - 2013

Thierry Coquand, Nils Anders Danielsson
Indagationes mathematicae - 2013

Nils Anders Danielsson
SIGPLAN notices - 2012

Nils Anders Danielsson
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming (ICFP 2012) - 2012

Nils Anders Danielsson
Interactive Theorem Proving, Third International Conference, ITP 2012 - 2012

Nils Anders Danielsson
Conference record of the 35th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL 2008) - 2008

Nils Anders Danielsson
2007

Nils Anders Danielsson
2007

Nils Anders Danielsson
2007

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

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) - 2006

Nils Anders Danielsson
2005

Nils Anders Danielsson, Patrik Jansson
Proceedings of the 7th International Conference on Mathematics of Program Construction, MPC 2004, LNCS 3125 - 2004