Articles with public access mandates - Jack WilliamsLearn more
Available somewhere: 2
Mixed messages: Measuring conformance and non-interference in TypeScript
J Williams, JG Morris, P Wadler, J Zalewski
31st European Conference on Object-Oriented Programming, 1-28, 2017
Mandates: UK Engineering and Physical Sciences Research Council
The root cause of blame: contracts for intersection and union types
J Williams, JG Morris, P Wadler
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-29, 2018
Mandates: UK Engineering and Physical Sciences Research Council
Publication and funding information is determined automatically by a computer program