[codethief]

Is there a good resource (a review paper maybe?) to get an overview over such programming language / type system topics?

[Yoric]

I can't think of any from the top of my head.

Perhaps looking at the proceedings of ICFP and POPL can help?