Follow
Jakub Zalewski
Jakub Zalewski
University of Edinburgh
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
212017
λdB: Blame tracking at higher fidelity
J Zalewski, J McKinna, JG Morris, P Wadler
Workshop on Gradual Typing, 2020
22020
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
DARTS-Dagstuhl Artifacts Series 3, 2017
2017
JavaScript with Blame
J Zalewski
The system can't perform the operation now. Try again later.
Articles 1–5