LARA Lecturecise 17: Type Checking - Soundness and Exercises Slides: pptx, pdf Exercise (solution will be provided later, try it out yourself): exercise.pdf
