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