4.6. Type checking and type systems Verbal Notes | Complier Design BCT | TU | TABFlux