5.1.2. Specification of a Simple Type Checker Notes | Compiler Design BSc. CSIT | FWU | TABFlux