Type unsoundness in practice: An empirical study of 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
Pages13-24
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

  • Gradual typing, Language design, Type systems

See relations at Aarhus University Citationformats

ID: 108312058