Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Category:Dependently_typed_programming> }
Showing triples 1 to 24 of
24
with 100 triples per page.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Category:Dependently_typed_programming.
- Calculus_of_constructions wikiPageWikiLink Category:Dependently_typed_programming.
- Curry–Howard_correspondence wikiPageWikiLink Category:Dependently_typed_programming.
- Dependent_type wikiPageWikiLink Category:Dependently_typed_programming.
- Dependently_typed_programming wikiPageWikiLink Category:Dependently_typed_programming.
- Generalized_algebraic_data_type wikiPageWikiLink Category:Dependently_typed_programming.
- Higher-order_abstract_syntax wikiPageWikiLink Category:Dependently_typed_programming.
- Inductive_data_type wikiPageWikiLink Category:Dependently_typed_programming.
- Intuitionistic_type_theory wikiPageWikiLink Category:Dependently_typed_programming.
- Logical_framework wikiPageWikiLink Category:Dependently_typed_programming.
- Proof-carrying_code wikiPageWikiLink Category:Dependently_typed_programming.
- Brouwer–Heyting–Kolmogorov_interpretation subject Category:Dependently_typed_programming.
- Calculus_of_constructions subject Category:Dependently_typed_programming.
- Curry–Howard_correspondence subject Category:Dependently_typed_programming.
- Dependent_type subject Category:Dependently_typed_programming.
- Dependently_typed_programming subject Category:Dependently_typed_programming.
- Generalized_algebraic_data_type subject Category:Dependently_typed_programming.
- Higher-order_abstract_syntax subject Category:Dependently_typed_programming.
- Inductive_data_type subject Category:Dependently_typed_programming.
- Intuitionistic_type_theory subject Category:Dependently_typed_programming.
- Logical_framework subject Category:Dependently_typed_programming.
- Proof-carrying_code subject Category:Dependently_typed_programming.
- Category:Dependently_typed_languages broader Category:Dependently_typed_programming.
- Category:Proof_assistants broader Category:Dependently_typed_programming.