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

15Years Old 20Users ?Jobs
  • 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 August 9th, 2020

Edit DML on GitHub