Nils Anders Danielsson

Available identifiers

zbMath Open danielsson.nils-andersMaRDI QIDQ740486

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6079241	2023-10-27	Paper
Partiality, Revisited	2017-05-19	Paper
Total parser combinators	2015-03-05	Paper
Lightweight semiformal time complexity analysis for purely functional data structures	2014-09-12	Paper
Isomorphism is equality	2014-09-03	Paper
Operational semantics using the partiality monad	2014-07-21	Paper
Matroids from modules	2013-08-23	Paper
Bag equivalence via a proof-relevant membership relation	2012-09-20	Paper
Subtyping, declaratively. An exercise in mixed induction and coinduction	2010-07-26	Paper
\(\Pi \Sigma \): dependent types without the sugar	2010-05-04	Paper
A Formalisation of a Dependently Typed Language as an Inductive-Recursive Family	2009-03-10	Paper
Mathematics of Program Construction	2005-08-26	Paper

Research outcomes over time

This page was built for person: Nils Anders Danielsson