Страничка семинара теории типов

По концептам, типам следует читать современные статьи

Можно начинать со школы Одерского:

Статьи по теоретическим основам языка Скала

Выделю тут ряд статей, с которых, по моему мнению, следует начинать:

• Fighting Bit Rot with Types (Experience Report: Scala Collections)
• []
• []
• []
• []
• []
• []
• []