Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript
ECOOP, 2017.
@inproceedings{ECOOP-2017-WilliamsMWZ,
author = "Jack Williams and J. Garrett Morris and Philip Wadler and Jakub Zalewski",
booktitle = "{Proceedings of the 31st European Conference on Object-Oriented Programming}",
doi = "10.4230/LIPIcs.ECOOP.2017.28",
isbn = "978-3-95977-035-4",
pages = "29",
publisher = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}",
title = "{Mixed Messages: Measuring Conformance and Non-Interference in TypeScript}",
year = 2017,
}