Message safety in Dart

Erik Ernst; Anders Møller; Mathias Schwarz; Fabio Strocco

doi:10.1016/j.scico.2016.06.006

Message safety in Dart

Erik Ernst, Anders Møller, Mathias Schwarz, Fabio Strocco

Institut for Datalogi

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

2 Citationer (Scopus)

181 Downloads (Pure)

Originalsprog	Engelsk
Tidsskrift	Science of Computer Programming
Vol/bind	133/1
Nummer	1
Sider (fra-til)	51-73
Antal sider	23
ISSN	0167-6423
DOI	https://doi.org/10.1016/j.scico.2016.06.006
Status	Udgivet - 1 jan. 2017

Adgang til dokumentet

10.1016/j.scico.2016.06.006

1-s2.0-S0167642316300831-mainForlagets udgivne version, 576 KBLicens: CC BY-NC-ND

http://cs.au.dk/~amoeller/papers/fletch/

Citationsformater

@article{5f078aade0f1428786f7bd6bcdfcd70f,

title = "Message safety in Dart",

keywords = "Optional types, Type systems",

author = "Erik Ernst and Anders M{\o}ller and Mathias Schwarz and Fabio Strocco",

year = "2017",

month = jan,

day = "1",

doi = "10.1016/j.scico.2016.06.006",

language = "English",

volume = "133/1",

pages = "51--73",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier BV",

number = "1",

}

TY - JOUR

T1 - Message safety in Dart

AU - Ernst, Erik

AU - Møller, Anders

AU - Schwarz, Mathias

AU - Strocco, Fabio

PY - 2017/1/1

Y1 - 2017/1/1

KW - Optional types

KW - Type systems

U2 - 10.1016/j.scico.2016.06.006

DO - 10.1016/j.scico.2016.06.006

M3 - Journal article

AN - SCOPUS:84995633321

SN - 0167-6423

VL - 133/1

SP - 51

EP - 73

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - 1

ER -