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 "33080173".
- Dependently_typed_programming_language wikiPageRedirects Dependent_type.
- Dependently_typed_programming_language wikiPageRevisionID "450400473".
- 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=450400473.
- Dependently_typed_programming_language isPrimaryTopicOf Dependently_typed_programming_language.