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

Материал из Seo Wiki - Поисковая Оптимизация и Программирование

Перейти к: навигация, поиск

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

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

Показано 2 страницы этой категории из 2.

A

D

Личные инструменты

Served in 0.056 secs.