Nils Anders Danielsson

ORCID

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 7

Top Venues

Proc. ACM Program. Lang.

FoSSaCS

CoRR

LICS

Chalmers University of Technology, Gothenburg, Sweden (PHD)

Education History

Chalmers University of Technology, Gothenburg, Sweden

PHD

Publications

Andreas Abel, Nils Anders Danielsson, Oskar Eriksson
A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Paolo Capriotti, Nils Anders Danielsson, Andrea Vezzosi
Higher Lenses. LICS (2021)
Víctor López Juan, Nils Anders Danielsson
Practical dependent type checking using twin types. TyDe@ICFP (2020)
Nils Anders Danielsson
Higher Inductive Type Eliminators Without Paths. TYPES (2019)
Nils Anders Danielsson
Up-to techniques using sized types. Proc. ACM Program. Lang. 2 (POPL) (2018)
Thorsten Altenkirch, Nils Anders Danielsson, Nicolai Kraus
Partiality, Revisited - The Partiality Monad as a Quotient Inductive-Inductive Type. FoSSaCS (2017)
Thorsten Altenkirch, Nils Anders Danielsson, Nicolai Kraus
Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type. CoRR (2016)
Nils Anders Danielsson
Correct-by-construction pretty-printing. DTP@ICFP (2013)
Nils Anders Danielsson
Bag Equivalence via a Proof-Relevant Membership Relation. ITP (2012)
Nils Anders Danielsson
Operational semantics using the partiality monad. ICFP (2012)
Nils Anders Danielsson, Bengt Nordström
Frontmatter, Table of Contents, Preface, Workshop Organization. TYPES (2011)
Nils Anders Danielsson, Thorsten Altenkirch
Subtyping, Declaratively. MPC (2010)
Nils Anders Danielsson
Beating the Productivity Checker Using Embedded Languages. PAR@ITP (2010)
Thorsten Altenkirch, Nils Anders Danielsson
Termination Checking in the Presence of Nested Inductive and Coinductive Types. PAR@ITP (2010)
Nils Anders Danielsson
Beating the Productivity Checker Using Embedded Languages PAR (2010)
Thorsten Altenkirch, Nils Anders Danielsson, Andres Löh, Nicolas Oury
PiSigma: Dependent Types without the Sugar. FLOPS (2010)
Nils Anders Danielsson
Total parser combinators. ICFP (2010)
Nils Anders Danielsson
Lightweight semiformal time complexity analysis for purely functional data structures. POPL (2008)
Nils Anders Danielsson, Ulf Norell
Parsing Mixfix Operators. IFL (2008)
Nils Anders Danielsson
A Formalisation of a Dependently Typed Language as an Inductive-Recursive Family. TYPES (2006)
Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons
Fast and loose reasoning is morally correct. POPL (2006)
Nils Anders Danielsson, Patrik Jansson
Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values. MPC (2004)
Nils Anders Danielsson, Michael B. Smyth
Matroids from modules. Electron. Notes Theor. Comput. Sci. 74 (2002)

Nils Anders Danielsson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nils Anders Danielsson