Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Dependently_typed_programming> . }
Showing items 1 to 13 of
13
with 100 items per page.
- 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.