DML is a 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...
- the DML wikipedia page
- DML first appeared in 2005
- See also: ats
- Have a question about DML not answered here? Email me and let me know how I can help.
Last updated February 18th, 2020