Blogpost Pythran

As part of its OpenDreamKit deliverable D5.4 (Make Pythran typing better to improve error information), the Pythran team has written an in-depth article about an unsound type checker.