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