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 IBM 000-377 Demo, which might be related to Dminor-0.1.