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...

14Years Old 20Users 0Jobs
  • 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 October 14th, 2019