I will second that Types and Programming languages is a great book. The next book, https://www.cis.upenn.edu/~bcpierce/attapl/index.html https://www.cis.upenn.e

I will second that Types and Programming languages is a great book. The next book, https://www.cis.upenn.edu/~bcpierce/attapl/index.html https://www.cis.upenn.edu/~bcpierce/attapl/index.html does get into Dependent Types.