Obtenez gratuitement Dminor-0.1 0.1 dans notre logithèque. La version fréquemment téléchargée de Dminor-0.1 est 0.1. appartient à la sous-catégorie Compétences Informatiques de Éducation et Science. Les résultats de notre antivirus intégré indiquent que ce fichier est reconnu 100% sûr. C'est grâce à Microsoft Research que ce programme gratuit a vu le jour.
Du développeur:
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.
Utilisateur de Dminor-0.1, vous pourriez être intéressé aussi par ces logiciels : Keyman Desktop Professional, Keyman ou NJStar Chinese WP.