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