About: Dependently typed languages

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

Property	Value
dbo:wikiPageID	33774027 (xsd:integer)
dbo:wikiPageRevisionID	859991351 (xsd:integer)
rdf:type	skos:Concept
rdfs:label	Dependently typed languages (en)
skos:broader	dbc:Dependently_typed_programming dbc:Programming_languages dbc:Specification_languages dbc:Statically_typed_programming_languages dbc:Formal_languages
skos:prefLabel	Dependently typed languages (en)
prov:wasDerivedFrom	wikipedia-en:Category:Dependently_typed_languages?oldid=859991351&ns=14
is dbo:wikiPageWikiLink of	dbr:Mizar_system dbr:Dependent_ML dbr:Coq dbr:Epigram_(programming_language) dbr:LEGO_(proof_assistant) dbr:Prototype_Verification_System dbr:Matita dbr:ATS_(programming_language) dbr:Agda_(programming_language) dbr:Twelf dbr:ALF_(proof_assistant) dbr:Lean_(proof_assistant) dbr:Idris_(programming_language) dbr:F*_(programming_language)
is dct:subject of	dbr:Mizar_system dbr:Dependent_ML dbr:Coq dbr:Epigram_(programming_language) dbr:LEGO_(proof_assistant) dbr:Prototype_Verification_System dbr:Matita dbr:ATS_(programming_language) dbr:Agda_(programming_language) dbr:Twelf dbr:ALF_(proof_assistant) dbr:Lean_(proof_assistant) 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