Nils Anders Danielsson
According to our database1, Nils Anders Danielsson authored at least 20 papers between 2002 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the 5th ACM SIGPLAN International Workshop on Type-Driven Development, 2020
Proceedings of the 25th International Conference on Types for Proofs and Programs, 2019
Proceedings of the Foundations of Software Science and Computation Structures, 2017
Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming, 2013
Proceedings of the Interactive Theorem Proving - Third International Conference, 2012
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012
Proceedings of the 18th International Workshop on Types for Proofs and Programs, 2011
Proceedings of the Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers, 2010
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010
Proceedings of the Partiality and Recursion in Interactive Theorem Provers, 2010
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010
Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010
Lightweight semiformal time complexity analysis for purely functional data structures.
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008
Proceedings of the Implementation and Application of Functional Languages, 2008
Proceedings of the Types for Proofs and Programs, International Workshop, 2006
Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006
Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values.
Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004