Published in: LIPIcs, Volume 136, 3rd Summit on Advances in Programming Languages (SNAPL 2019)
Michael Greenberg. The Dynamic Practice and Static Theory of Gradual Typing. In 3rd Summit on Advances in Programming Languages (SNAPL 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 136, pp. 6:1-6:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{greenberg:LIPIcs.SNAPL.2019.6, author = {Greenberg, Michael}, title = {{The Dynamic Practice and Static Theory of Gradual Typing}}, booktitle = {3rd Summit on Advances in Programming Languages (SNAPL 2019)}, pages = {6:1--6:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-113-9}, ISSN = {1868-8969}, year = {2019}, volume = {136}, editor = {Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2019.6}, URN = {urn:nbn:de:0030-drops-105495}, doi = {10.4230/LIPIcs.SNAPL.2019.6}, annote = {Keywords: dynamic typing, gradual typing, static typing, implementation, theory, challenge problems} }
Published in: LIPIcs, Volume 74, 31st European Conference on Object-Oriented Programming (ECOOP 2017)
Ross Tate. Retargeting Gradual Typing (Invited Talk). In 31st European Conference on Object-Oriented Programming (ECOOP 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 74, p. 3:1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{tate:LIPIcs.ECOOP.2017.3, author = {Tate, Ross}, title = {{Retargeting Gradual Typing}}, booktitle = {31st European Conference on Object-Oriented Programming (ECOOP 2017)}, pages = {3:1--3:1}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-035-4}, ISSN = {1868-8969}, year = {2017}, volume = {74}, editor = {M\"{u}ller, Peter}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017.3}, URN = {urn:nbn:de:0030-drops-72802}, doi = {10.4230/LIPIcs.ECOOP.2017.3}, annote = {Keywords: Design, Efficiency, Gradual Typing, Nominal Types} }
Feedback for Dagstuhl Publishing