The Stasium versions are tremendous (but the writing was strong enough to cut through the original mixes imho)!

I agree with the sentiment, suggested by some commenters, who suggest that the questioner is basically diving in to the deep end of type system problems.

But Luca Cardelli’s survey paper is a pretty good introduction to the general area: http://lucacardelli.name/Papers/TypeSystems.pdf

Chapeau

I really dislike Quarto’s opinionated post listing as well but the excellence of the rest of Quarto has made up for it in my experience! (I migrated my venerable Jekyll blog this spring: https://chapeau.freevariable.com