Multimedia |
Messengers |
Desktop |
Development |
Education |
Games |
Graphics |
Networking |
Security |
Servers |
Utilities |
Web Dev
Dminor-0.1
By Microsoft Research
Rating:
0/5 (0)
0/5 (0)
License type:
Freeware
Latest version:
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...
