Matches in DBpedia 2016-04 for { ?s ?p "Dependently typed programming"@en }
Showing triples 1 to 6 of
6
with 100 triples per page.
- Dependently_typed_programming wikiPageWikiLinkText "Dependently typed programming".
- Category:Dependently_typed_programming label "Dependently typed programming".
- Dependently_typed_programming label "Dependently typed programming".
- Q8374213 label "Dependently typed programming".
- Category:Dependently_typed_programming prefLabel "Dependently typed programming".
- Q8374213 prefLabel "Dependently typed programming".