http://dbpedia.org/page/Category:Dependently-typed_formal_languages

Property	Value
rdf:type	skos:Concept
rdfs:label	Dependently-typed formal languages (en)
skos:broader	dbpedia:Category:Programming_languages dbpedia:Category:Specification_languages
skos:prefLabel	Dependently-typed formal languages (en)
is skos:subject of	dbpedia:Aldor dbpedia:Cayenne_%28programming_language%29 dbpedia:Coq dbpedia:Dependent_type dbpedia:Dependent_ML dbpedia:Epigram_%28programming_language%29 dbpedia:Mizar_system dbpedia:Prototype_Verification_System dbpedia:Twelf

Dependently-typed formal languages