Unsound type checking for a Python subset
serge-sans-paille.github.io