4.6. Type checking and type systems Notes | Compiler Design BCT-NEW | TU | TABFlux