I could be wrong but I'm fairly certain PLAI covers basic type checking & inference. It doesn't get into harder stuff (e.g. dependent typing) though.