Зависимый ОД
Зависимый МЛ Обзор DML DML — экспериментальный язык программирования, разработанный Хунвэем Си и Фрэнком Пфеннингом в 2007 году. Является диалектом […]
Declarative programming languages, Dependently typed languages, Discontinued programming languages, Functional languages, High-level programming languages, ML programming language family, Programming language topic stubs, Programming languages created in the 1990s, выпуск которых прекращен, Декларативные языки программирования, Зависимо типизированные языки, Незавершенные темы по языку программирования, Семейство языков программирования ML, созданные в 1990-х годах., Функциональные языки, Языки программирования, Языки программирования высокого уровня