Dminor-0.1
Dminor is a first-order functional language with the novel combination of the ideas of refinement type and type-test.
Download Dminor-0.1 by Microsoft Research
| Publisher: | Microsoft Research |
| License: | Freeware |
| Price: | USD $0.00 |
| Filesize: | 4.6 MB |
| Date Added: | 06/07/2012 |
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...
Read more
PCWin Note: Dminor-0.1 0.1 download version indexed from servers all over the world. There are inherent dangers in the use of any software available for download on the Internet. PCWin free download center makes no representations as to the content of Dminor-0.1 version/build 0.1 is accurate, complete, virus free or do not infringe the rights of any third party. PCWin has not developed this software Dminor-0.1 and in no way responsible for the use of the software and any damage done to your systems. You are solely responsible for adequate protection and backup of the data and equipment used in connection with using software Dminor-0.1.
Platform:
Category: Home & Education / Miscellaneous
