-
https://www.youtube.com/watch?v=4n3l-ZcDJNY 2018 LLVM Developers’ Meeting: A. Dergachev “Faster, Stronger C++ Analysis with the Clang Static..”
-
https://www.youtube.com/watch?v=UcxF6CVueDM Clang Static Analysis - Gabor Horvath - Meeting C++ 2016
-
https://blog.rust-lang.org/2016/04/19/MIR.html rust blog on its MIR
-
python/mypy#8147 and related PEP 572 issues
-
python/mypy#6730 recursive types segfault
-
python/mypy#5485 should be not hard to fix