Mixed Messages: Measuring Conformance and Non-Interference in TypeScript.

Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski

Browse the full ECOOP paper archive.