Категория:Программирование с зависимыми типами
Из Википедии, бесплатной энциклопедии
Подкатегории
В этой категории отображается 2 подкатегории из имеющихся 2.
И
- Инструменты интерактивного доказательства теорем (10: 10 с.)
Т
- Типозависимые формальные языки (5: 5 с.)
Страницы в категории «Программирование с зависимыми типами»
Показаны 4 страницы из 4, находящихся в данной категории. Список ниже может не отражать последних изменений.