I am looking for articles/books/etc that describe the type systems of different languages and comment on differences and similarities among them as well as the positives and negatives of each.
I don’t have any direct pointers for you, but I would be surprised if you wouldn’t find any citations over at Lambda the Ultimate, http://lambda-the-ultimate.org/
https://mitpress.mit.edu/books/types-and-programming-languag...