Jakub Zalewski

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 2

Top Topics

Relational Databases

Weak Signal Detection

Top Venues

Dagstuhl Artifacts Ser.

Publications

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