@inproceedings{e528798305fc43538ba66f29583501ee,
title = "The dynamic practice and static theory of gradual typing",
abstract = "We can tease apart the research on gradual types into two {\textquoteleft}lineages{\textquoteright}: a pragmatic, implementation-oriented dynamic-first lineage and a formal, type-theoretic, static-first lineage. The dynamic-first lineage{\textquoteright}s focus is on taming particular idioms – {\textquoteleft}pre-existing conditions{\textquoteright} in untyped programming languages. The static-first lineage{\textquoteright}s focus is on interoperation and individual type system features, rather than the collection of features found in any particular language. Both appear in programming languages research under the name “gradual typing”, and they are in active conversation with each other.",
keywords = "Challenge problems, Dynamic typing, Gradual typing, Implementation, Static typing, Theory",
author = "Michael Greenberg",
note = "Publisher Copyright: {\textcopyright} Michael Greenberg.; 3rd Summit on Advances in Programming Languages, SNAPL 2019 ; Conference date: 16-05-2019 Through 17-05-2019",
year = "2019",
month = jul,
day = "1",
doi = "10.4230/LIPIcs.SNAPL.2019.6",
language = "English",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
editor = "Lerner, \{Benjamin S.\} and Rastislav Bodik and Shriram Krishnamurthi",
booktitle = "3rd Summit on Advances in Programming Languages, SNAPL 2019",
}