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