Dminor-0.1

by Microsoft Research

Ooops

download link is gone

License: Freeware

Total downloads:27

Latest version:0.1

Report incorrect info

Description

Screenshot

The 0.1 version of Dminor-0.1 is available as a free download on our website. This download was scanned by our built-in antivirus and was rated as virus free. The most popular version of the program is 0.1. The software lies within Education Tools, more precisely Computer Skills. This free tool was originally developed by Microsoft Research.

From the developer:

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.

You may want to check out more software, such as CAVASS, Age of Computers 3 or Pass4sure Questions and Answers for CWNP PW0-104 Demo, which might be related to Dminor-0.1.

useful

How to clean registry

useful

How to create vector graphics

useful

How to use a firewall