Dminor-0.1
Microsoft Research
Лицензия:
Бесплатная
Количество загрузок:27
Последняя версия:0.1
О, нет
ссылка на загрузку не доступна
Dminor-0.1 0.1 можно бесплатно скачать с нашего сайта. Разработчик этой бесплатной программы — Microsoft Research. Программа принадлежит к категории Образование. Самая популярная версия ПО: 0.1.
От разработчика:
Dminor is a first-order functional language with the novel combination of the ideas of refinement type and type-test. It can express a rich variety of typing idioms and has a novel type-checking algorithm able to eliminate many dynamic tests and to detect many errors statically. The type checker uses an SMT Solver to compute subtyping efficiently.
Мы предлагаем оценить другие программы, такие как Free Language Translator, Ultimate Auto Typer или Auto Click Typer, которые часто используются вместе с Dminor-0.1.
полезно
полезно
полезно
Как почистить реестр
Как создавать векторную графику
Как использовать брандмауэр
Обновлено:
Последние обновления
Открой для себя FDM
Поддержка плагинов
Используй плагины для загрузки видео и файлов с популярных сайтов и видеохостингов.
Комментарии
Пожалуйста, прокомментируйте Ваш выбор.