@prefix dbpprop:	<http://dbpedia.org/property/> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
dbpedia:Standard_ML	dbpprop:dialects	dbpedia:Dependent_ML .
@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix ns3:	<http://dbpedia.org/class/yago/> .
dbpedia:Dependent_ML	rdf:type	ns3:Dependently-typedFormalLanguages ,
		ns3:FunctionalLanguages .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbpedia:Dependent_ML	owl:sameAs	<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000000643575> .
@prefix ns5:	<http://umbel.org/umbel/ne/wikipedia/> .
dbpedia:Dependent_ML	owl:sameAs	ns5:Dependent_ML .
@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix ns7:	<http://en.wikipedia.org/wiki/> .
dbpedia:Dependent_ML	foaf:page	ns7:Dependent_ML ;
	dbpprop:reference	<http://www.cs.bu.edu/~hwxi/DML/DML.html> .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbpedia:Dependent_ML	rdfs:label	"Dependent ML"@en ;
	dbpprop:abstract	"Dependent ML is an experimental functional programming language proposed by Frank Pfenning and Hongwei Xi. Dependent ML extends ML by a restricted notion of dependent types: types may be dependent on static indices of type Nat. 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."@en ;
	rdfs:comment	"Dependent ML is an experimental functional programming language proposed by Frank Pfenning and Hongwei Xi. Dependent ML extends ML by a restricted notion of dependent types: types may be dependent on static indices of type Nat. 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."@en .
@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix ns10:	<http://dbpedia.org/resource/Category:> .
dbpedia:Dependent_ML	skos:subject	ns10:ML_programming_language_family ,
		ns10:Declarative_programming_languages ,
		ns10:Dependently-typed_formal_languages ,
		ns10:Functional_languages ,
		ns10:Programming_languages_created_in_the_1990s .
@prefix ns11:	<http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/> .
dbpedia:Dependent_ML	dbpprop:hasPhotoCollection	ns11:Dependent_ML .
dbpedia:Dependent_ML_programming_language	dbpprop:redirect	dbpedia:Dependent_ML .
@prefix yago:	<http://mpii.de/yago/resource/> .
yago:Dependent_ML	owl:sameAs	dbpedia:Dependent_ML .