Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Dependently-typed_programming_language> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- Dependently-typed_programming_language wikiPageID "33080171".
- Dependently-typed_programming_language wikiPageLength "28".
- Dependently-typed_programming_language wikiPageOutDegree "1".
- Dependently-typed_programming_language wikiPageRedirects Dependent_type.
- Dependently-typed_programming_language wikiPageRevisionID "450407171".
- Dependently-typed_programming_language wikiPageWikiLink Dependent_type.
- Dependently-typed_programming_language label "Dependently-typed programming language".
- Dependently-typed_programming_language wasDerivedFrom Dependently-typed_programming_language?oldid=450407171.
- Dependently-typed_programming_language isPrimaryTopicOf Dependently-typed_programming_language.