This HTML5 document contains 43 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
dcthttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
n14http://en.wikipedia.org/w/index.php?title=Dependent_ML&action=
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
n16http://www.cs.bu.edu/~hwxi/DML/DML.
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n18http://rdf.freebase.com/ns/m.
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n17http://wikidata.org/entity/
n20http://dbpedia.org/resource/ATS_(programming_language)
owlhttp://www.w3.org/2002/07/owl#
n21http://en.wikipedia.org/w/index.php?title=Dependent_ML&oldid=
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
n19http://www.cs.bu.edu/~hwxi/academic/papers/JFPdml.pdf%7Ctitle=
dbrhttp://dbpedia.org/resource/
Subject Item
dbr:Dependent_ML
rdf:type
yago:FunctionalLanguages yago:ProgrammingLanguagesCreatedInThe1990s yago:ProgrammingLanguage106898352 yago:Language106282651 yago:Communication100033020 yago:DependentlyTypedLanguages yago:Abstraction100002137 yago:ArtificialLanguage106894544
owl:sameAs
yago-res:Dependent_ML dbpedia-wikidata:Q4037222 n17:Q4037222 n18:068fcp
foaf:isPrimaryTopicOf
wikipedia-en:Dependent_ML
rdfs:comment
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.
rdfs:label
Dependent ML
dbo:abstract
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. DML's types are not dependent on runtime values - there is still a phase distinction between compilation and execution of the program. By restricting the generality of full dependent types type checking remains decidable, but type inference becomes undecidable. Dependent ML has been superseded by ATS and is no longer under active development.
dbo:wikiPageEditLink
n14:edit
dbo:wikiPageExternalLink
n16:html n19:Dependent
dbo:wikiPageExtracted
2019-06-09T18:16:12Z
dbo:wikiPageHistoryLink
n14:history
dbo:wikiPageID
1951390
dbo:wikiPageLength
1853
dbo:wikiPageModified
2018-08-29T23:31:30Z
dbo:wikiPageOutDegree
20
dbo:wikiPageRevisionID
857161663
dbo:wikiPageRevisionLink
n21:857161663
dbp:wikiPageUsesTemplate
dbt:Cite_journal dbt:Harv dbt:Multiple_issues dbt:Context dbt:Compu-lang-stub dbt:Notability dbt:Reflist
dct:subject
dbc:Declarative_programming_languages dbc:Discontinued_programming_languages dbc:Functional_languages dbc:ML_programming_language_family dbc:Dependently_typed_languages dbc:Programming_languages_created_in_the_1990s
Subject Item
dbr:Dependent_ML_programming_language
dbo:wikiPageRedirects
dbr:Dependent_ML
Subject Item
n20:
dbo:influencedBy
dbr:Dependent_ML
Subject Item
wikipedia-en:Dependent_ML
foaf:primaryTopic
dbr:Dependent_ML