Nils Anders Danielsson
Visar 9 publikationer
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
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.