What are some good resources/surveys about different type systems?

Question

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.

Jtsummers · Accepted Answer

Possibly Types and Programming Languages by Benjamin Pierce. Though at over 600 pages it may be a bit more detailed than a survey.https://mitpress.mit.edu/books/types-and-programming-languag...

cpach · Answer

I don&rsquo;t have any direct pointers for you, but I would be surprised if you wouldn&rsquo;t find any citations over at Lambda the Ultimate, http://lambda-the-ultimate.org/

What are some good resources/surveys about different type systems?

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.

Possibly Types and Programming Languages by Benjamin Pierce. Though at over 600 pages it may be a bit more detailed than a survey.
https://mitpress.mit.edu/books/types-and-programming-languag...

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/