5.1. Type Systems and Checkers Notes | Compiler Design BSc. CSIT | FWU | TABFlux