Slide 1 Strict Bidirectional Type Checking Adam Chlipala, Leaf Petersen, and Robert Harper Slide 2 1/10/052 Type Systems Less Type Annotation More Type Annotation ML Concise…