Mixed Messages: Measuring Conformance and Non-Interference in TypeScript. - Jack Williams 001; J. Garrett Morris; Philip Wadler; Jakub Zalewski (ECOOP, 2017)

Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact). - Jack Williams 001; J. Garrett Morris; Philip Wadler; Jakub Zalewski (Dagstuhl Artifacts Ser., 2017)