Интенсивное изучение систем типов и теории типов

Я хочу понять реальную теорию типов, а не просто узнать о последних практических изменениях, сделанных в каком-то существующем языке (например, не только о том, как работает система типов Haskell или Scala).

Как лучше всего подобрать этот фон?