Follow
Jakub Zalewski
Jakub Zalewski
Verified email at ed.ac.uk
Title
Cited by
Cited by
Year
Mixed messages: Measuring conformance and non-interference in TypeScript
J Williams, JG Morris, P Wadler, J Zalewski
Schloss Dagstuhl, 2017
232017
λdB: Blame tracking at higher fidelity
J Zalewski, J McKinna, JG Morris, P Wadler
Workshop on Gradual Typing, 2020
42020
Blame tracking at higher fidelity
J Zalewski, J McKinna, JG Morris, P Wadler
Workshop on Gradual Typing (WGT). Functional, 2020
22020
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact).
J Williams, JG Morris, P Wadler, J Zalewski
Dagstuhl Artifacts Ser. 3 (2), 08:1-08:2, 2017
2017
JavaScript with Blame
J Zalewski
The system can't perform the operation now. Try again later.
Articles 1–5