https://www.humprog.org/~stephen/

https://www.humprog.org/~stephen/

Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2016. pdf preprint abstract Abstract: Existing approaches for detecting type err

That's everything I could find.
Help make me smarter by submitting a page.