Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Dependently_typed_programming> ?p ?o }
Showing triples 1 to 19 of
19
with 100 triples per page.
- Dependently_typed_programming wikiPageID "34321304".
- Dependently_typed_programming wikiPageLength "182".
- Dependently_typed_programming wikiPageOutDegree "4".
- Dependently_typed_programming wikiPageRedirects Dependent_type.
- Dependently_typed_programming wikiPageRevisionID "470348093".
- Dependently_typed_programming wikiPageWikiLink Category:Dependently_typed_programming.
- Dependently_typed_programming wikiPageWikiLink Category:Programming_language_classification.
- Dependently_typed_programming wikiPageWikiLink Category:Programming_paradigms.
- Dependently_typed_programming wikiPageWikiLink Dependent_type.
- Dependently_typed_programming wikiPageWikiLinkText "Dependently typed programming".
- Dependently_typed_programming wikiPageUsesTemplate Template:R_with_possibilites.
- Dependently_typed_programming subject Category:Dependently_typed_programming.
- Dependently_typed_programming subject Category:Programming_language_classification.
- Dependently_typed_programming subject Category:Programming_paradigms.
- Dependently_typed_programming type Redirect.
- Dependently_typed_programming label "Dependently typed programming".
- Dependently_typed_programming sameAs m.06891z.
- Dependently_typed_programming wasDerivedFrom Dependently_typed_programming?oldid=470348093.
- Dependently_typed_programming isPrimaryTopicOf Dependently_typed_programming.