Теория Типов

2019

• Coq 8.9 (51 комментарий)

2013

• Встреча функциональных программистов в Санкт-Петербурге (36 комментариев)

2018

• Talks Алгебраические типы данных, инволюция и квантовая логика (43 комментария)
• Talks Накидайте книжек по теории типов (33 комментария)

2017

• Development Вопрос по алгебраическим типам (33 комментария)

2015

• Development Лекции по гомотопической теории типов (14 комментариев)