Matches in DBpedia 2015-10 for { ?s ?p "Dependently typed programming"@en }
Showing triples 1 to 4 of
4
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".
- Category:Dependently_typed_programming prefLabel "Dependently typed programming".