Категория:Типозависимые формальные языки

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Данная категория предназначена для формальных языков (по типу, например, языков программирования и языков спецификаций) с системами типов данных, поддерживающих типозависимость.

Страницы в категории «Типозависимые формальные языки»

Показаны 2 страницы из 2, находящихся в данной категории.