Bob Harper's _Practical Foundations for Programming Languages_ is a good starting point and from there I would go on to Benjamin Pierce's _Types and Programming Languages_.