Введение в теорию типов для программистов

Из доклада вы узнаете про тотальное функциональное программирование, зависимые типы, теорию типов Мартина-Лёфа и соответствие Карри-Ховарда.