Темы (о Dotty):
Dotty-linker
(Узнает "что в программе используется" с помощью Call Graphs for Languages with Parametric Polymorphism)
SIP - @binaryCompatibility
Dotty
Dot calculus - зачем и что принесет
The Essence of Dependent Object Types
From DOT to Dotty (Слайды)
(из тем слушателей) Дизъюнкция типов в Dotty (union types)