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