WikicatDependentlyTypedLanguages

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Property	Value
rdfs:subClassOf	yago:Language106282651
owl:equivalentClass	yago-res:wikicat_Dependently_typed_languages
is rdf:type of	dbr:Mizar_system dbr:Dependent_ML dbr:Coq dbr:Epigram_(programming_language) dbr:Prototype_Verification_System dbr:Matita dbr:Cayenne_(programming_language) dbr:ATS_(programming_language) dbr:Agda_(programming_language) dbr:Twelf dbr:Idris_(programming_language) dbr:F*_(programming_language)

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License