Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Dependently-typed_programming_language> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- Dependently-typed_programming_language wikiPageID "33080171".
- Dependently-typed_programming_language wikiPageRedirects Dependent_type.
- Dependently-typed_programming_language wikiPageRevisionID "450407171".
- Dependently-typed_programming_language label "Dependently-typed programming language".
- Dependently-typed_programming_language sameAs m.06891z.
- Dependently-typed_programming_language wasDerivedFrom Dependently-typed_programming_language?oldid=450407171.
- Dependently-typed_programming_language isPrimaryTopicOf Dependently-typed_programming_language.