The compiler's rules governing which types can be assigned to which variables. In Pascal, assignment compatibility is stricter than in many other languages, preventing accidental type mixing. (Ch. 3)