Nils Anders Danielsson
Showing 9 publications
Lightweight Semiformal Time Complexity Analysis for Purely Functional Data Structures
Proofs Accompanying "Fast and Loose Reasoning is Morally Correct"
A Formalisation of a Dependently Typed Language as an Inductive-Recursive Family
Fast and Loose Reasoning is Morally Correct
Precise Reasoning About Non-strict Functional Programs; How to Chase Bottoms, and How to Ignore Them
Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values
Download publication list
You can download this list to your computer.
Filter and download publication list
As logged in user (Chalmers employee) you find more export functions in MyResearch.
You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:
Zotero Connector
Mendeley Web Importer
The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.