2020Concepts in Programming Languages, Part II: Statics — March 2Concepts in Programming Languages, Part I: Judgements and Inference Rules — January 26