Type Checking In Compilers Report