Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Dependently_typed_programming> ?p ?o }
Showing triples 1 to 17 of
17
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 label "Dependently typed programming".
- Dependently_typed_programming wasDerivedFrom Dependently_typed_programming?oldid=470348093.
- Dependently_typed_programming isPrimaryTopicOf Dependently_typed_programming.