Dependent ML is an experimental functional programming language proposed by Hongwei Xi () 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. Dependent ML has been superseded by ATS and is no longer under active development.
Property  Value 

dbo:abstract 

dbo:wikiPageEditLink  
dbo:wikiPageExternalLink  
dbo:wikiPageExtracted 

dbo:wikiPageHistoryLink  
dbo:wikiPageID 

dbo:wikiPageLength 

dbo:wikiPageModified 

dbo:wikiPageOutDegree 

dbo:wikiPageRevisionID 

dbo:wikiPageRevisionLink  
dbp:wikiPageUsesTemplate  
dct:subject  
rdf:type  
rdfs:comment 

rdfs:label 

owl:sameAs  
foaf:isPrimaryTopicOf  
is dbo:influencedBy of  
is dbo:wikiPageRedirects of  
is foaf:primaryTopic of 