Теория Типов
Всего сообщений: 6
Новости
2019
- Coq 8.9 (51 комментарий)
2013
- Встреча функциональных программистов в Санкт-Петербурге (36 комментариев)
Форум
2018
- Talks Алгебраические типы данных, инволюция и квантовая логика (43 комментария)
- Talks Накидайте книжек по теории типов (33 комментария)
2017
- Development Вопрос по алгебраическим типам (33 комментария)
2015
- Development Лекции по гомотопической теории типов (14 комментариев)