DML is a historical programming language created in 2005. Dependent ML is an experimental functional programming language proposed by Hongwei Xi (Xi 2007) and Frank Pfenning. Dependent ML extends ML by a restricted notion of dependent types: types may be dependent on static indices of type Nat (natural numbers). Dependent ML employs a constraint theorem prover to decide a strong equational theory over the index expressions. Read more on Wikipedia...
- DML ranks in the top 50% of languages
- the DML wikipedia page
- DML first appeared in 2005
- See also: ats
- I have 36 facts about DML. what would you like to know? email me and let me know how I can help.
Last updated December 10th, 2019