Nils Anders Danielsson
Nils Anders Danielsson
Researcher, Chalmers University of Technology and University of Gothenburg
Bestätigte E-Mail-Adresse bei cse.gu.se - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Fast and loose reasoning is morally correct
NA Danielsson, J Hughes, P Jansson, J Gibbons
ACM SIGPLAN Notices 41 (1), 206-217, 2006
1042006
Lightweight semiformal time complexity analysis for purely functional data structures
NA Danielsson
ACM SIGPLAN Notices 43 (1), 133-144, 2008
1032008
Total parser combinators
NA Danielsson
Proceedings of the 15th ACM SIGPLAN international conference on Functional …, 2010
742010
Subtyping, declaratively
NA Danielsson, T Altenkirch
International Conference on Mathematics of Program Construction, 100-118, 2010
542010
A formalisation of a dependently typed language as an inductive-recursive family
NA Danielsson
International Workshop on Types for Proofs and Programs, 93-109, 2006
532006
Operational semantics using the partiality monad
NA Danielsson
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
522012
Parsing mixfix operators
NA Danielsson, U Norell
Symposium on Implementation and Application of Functional Languages, 80-99, 2008
422008
Chasing bottoms
NA Danielsson, P Jansson
International Conference on Mathematics of Program Construction, 85-109, 2004
402004
Beating the productivity checker using embedded languages
NA Danielsson
arXiv preprint arXiv:1012.4898, 2010
382010
ΠΣ: Dependent types without the sugar
T Altenkirch, NA Danielsson, A Löh, N Oury
International Symposium on Functional and Logic Programming, 40-55, 2010
372010
Partiality, revisited
T Altenkirch, NA Danielsson, N Kraus
International Conference on Foundations of Software Science and Computation …, 2017
352017
Isomorphism is equality
T Coquand, NA Danielsson
Indagationes Mathematicae 24 (4), 1105-1120, 2013
302013
Termination Checking in the Presence of Nested Inductive and Coinductive Types.
T Altenkirch, NA Danielsson
PAR@ ITP, 101-106, 2010
23*2010
The agda wiki
U Norell, NA Danielsson
192005
The Agda standard library
NA Danielsson, U Norell, SC Mu, S Bronson, D Doel, P Jansson, LT Chen
Url: http://www. cs. nott. ac. uk/nad/repos/lib, 2011
182011
Mixing induction and coinduction
NA Danielsson, T Altenkirch
Draft paper, 2009
172009
Correct-by-construction pretty-printing
NA Danielsson
Proceedings of the 2013 ACM SIGPLAN Workshop on Dependently-typed …, 2013
152013
Up-to techniques using sized types
NA Danielsson
Proceedings of the ACM on Programming Languages 2 (POPL), 1-28, 2017
112017
Structurally recursive descent parsing
NA Danielsson, U Norell
Presentation (given by Danielsson) at the Dependently Typed Programming …, 2008
8*2008
Bag Equivalence via a Proof-Relevant Membership Relation
NA Danielsson
International Conference on Interactive Theorem Proving, 149-165, 2012
42012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20