A quick introduction to how compilers use type information to convert types while evaluating expressions.