Nils Anders Danielsson

Docent vid Computing Science

Källa: chalmers.se

Kontaktuppgifter

Publikationer (3)
Projekt (0)

Visar 3 publikationer

2023

A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized

Andreas Abel, Nils Anders Danielsson, Oskar Eriksson

Proceedings of the ACM on Programming Languages. Vol. 7 (ICFP), p. 920-954

Artikel i vetenskaplig tidskrift

2020

Practical dependent type checking using twin types

Víctor López Juan, Nils Anders Danielsson

TyDe 2020 - Proceedings of the 5th ACM SIGPLAN International Workshop on Type-Driven Development, co-located with ICFP 2020, p. 11-23

Paper i proceeding

2017

Towards practical out-of-order unification

Nils Anders Danielsson, Víctor López Juan

Leibniz International Proceedings in Informatics, LIPIcs. Vol. 104, p. 49-50

Paper i proceeding

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.

Det finns inga projekt att visa.

Det kan finnas fler projekt där Nils Anders Danielsson medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.