Watch recordingBeyond the Trivial Cases of Type Annotations, or How to Make the Static Type Analyser Your Best FriendRoman SolianikTinkoff
Watch recordingType Inference: The Challenges of Analysing Python CodeEkaterina TochilinaHuaweiViacheslav TamarinHuawei