Type safety analysis for dart

Publication: Research - peer-reviewArticle in proceedings

Links

DOI

Original languageEnglish
Title of host publicationDLS 2016 - Proceedings of the 12th Symposium on Dynamic Languages
EditorsRoberto Ierusalimschy
Number of pages12
PublisherAssociation for Computing Machinery
Publication year1 Nov 2016
Pages1-12
ISBN (print)978-1-4503-4445-6
DOIs
StatePublished - 1 Nov 2016
Event - Amsterdam, Netherlands

Conference

ConferenceSPLASH 2016
LandNetherlands
ByAmsterdam
Periode30/10/201604/11/2016
Internetadresse

    Keywords

  • Optional types, Static analysis, Type systems

See relations at Aarhus University Citationformats

ID: 108311357