Michael Greenberg 0002. The Dynamic Practice and Static Theory of Gradual Typing. In Benjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi, editors, 3rd Summit on Advances in Programming Languages, SNAPL 2019, May 16-17, 2019, Providence, RI, USA. Volume 136 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. [doi]
@inproceedings{000219-1,
title = {The Dynamic Practice and Static Theory of Gradual Typing},
author = {Michael Greenberg 0002},
year = {2019},
doi = {10.4230/LIPIcs.SNAPL.2019.6},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2019.6},
researchr = {https://researchr.org/publication/000219-1},
cites = {0},
citedby = {0},
booktitle = {3rd Summit on Advances in Programming Languages, SNAPL 2019, May 16-17, 2019, Providence, RI, USA},
editor = {Benjamin S. Lerner and Rastislav Bodík and Shriram Krishnamurthi},
volume = {136},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-95977-113-9},
}