Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Category:Dependently_typed_programming> ?p ?o. }
Showing items 1 to 10 of
10
with 100 items per page.
- Category:Dependently_typed_programming wikiPageID "30726088".
- Category:Dependently_typed_programming wikiPageRevisionID "451672519".
- Category:Dependently_typed_programming type Concept.
- Category:Dependently_typed_programming label "Dependently typed programming".
- Category:Dependently_typed_programming sameAs Q8374213.
- Category:Dependently_typed_programming sameAs Q8374213.
- Category:Dependently_typed_programming broader Category:Functional_programming.
- Category:Dependently_typed_programming broader Category:Programming_language_theory.
- Category:Dependently_typed_programming prefLabel "Dependently typed programming".
- Category:Dependently_typed_programming wasDerivedFrom Category:Dependently_typed_programming?oldid=451672519.