Unsound type checking for a Python subset #1 Post by serge-ss-paille » Fri, Dec 16, 2016, 3:13 PM UTC Unsound type checking for a Python subsetserge-sans-paille.github.io