Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong)
From MaRDI portal
Publication:2985773
DOI10.1145/2951913.2951915zbMath1361.68050arXiv1606.07557OpenAlexW2996075572MaRDI QIDQ2985773
Ranjit Jhala, Westley Weimer, Eric L. Seidel
Publication date: 10 May 2017
Published in: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1606.07557
Related Items (2)
Improving type error reporting for type classes ⋮ Systematic identification and communication of type errors
This page was built for publication: Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong)