About: Dependently typed programming

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

Property	Value
dbo:wikiPageID	30726088 (xsd:integer)
dbo:wikiPageRevisionID	451672519 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Cat_main
rdf:type	skos:Concept
rdfs:label	Dependently typed programming (en)
skos:broader	dbc:Functional_programming dbc:Programming_language_theory
skos:prefLabel	Dependently typed programming (en)
prov:wasDerivedFrom	wikipedia-en:Category:Dependently_typed_programming?oldid=451672519&ns=14
is dbo:wikiPageWikiLink of	dbr:Dependent_type dbr:Dependently_typed_programming dbr:Inductive_data_type dbr:Intuitionistic_type_theory dbr:Generalized_algebraic_data_type dbr:Calculus_of_constructions dbr:Proof-carrying_code dbr:Curry–Howard_correspondence dbr:Brouwer–Heyting–Kolmogorov_interpretation dbr:Logical_framework dbr:Higher-order_abstract_syntax dbr:Type_variable
is dct:subject of	dbr:Dependent_type dbr:Dependently_typed_programming dbr:Inductive_data_type dbr:Intuitionistic_type_theory dbr:Generalized_algebraic_data_type dbr:Calculus_of_constructions dbr:Proof-carrying_code dbr:Curry–Howard_correspondence dbr:Brouwer–Heyting–Kolmogorov_interpretation dbr:Logical_framework dbr:Higher-order_abstract_syntax dbr:Type_variable
is skos:broader of	dbc:Dependently_typed_languages dbc:Proof_assistants

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