The subsumption model of Constraints

Learners will be able to predict how the compiler orders overloaded candidates based on the specificity of their requirements.