Mixed Messages: Measuring Conformance and Non-Interference in TypeScript [pdf] | Hacker News Reader