Книги — modular systems

Продвинутые темы в типах и языках программирования