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