Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Principal_type> }
Showing triples 1 to 10 of
10
with 100 triples per page.
- Principal_typing wikiPageRedirects Principal_type.
- Principle_type wikiPageRedirects Principal_type.
- Curry–Howard_correspondence wikiPageWikiLink Principal_type.
- Generalized_algebraic_data_type wikiPageWikiLink Principal_type.
- Hindley–Milner_type_system wikiPageWikiLink Principal_type.
- Kappa_calculus wikiPageWikiLink Principal_type.
- Principal_typing wikiPageWikiLink Principal_type.
- Principle_type wikiPageWikiLink Principal_type.
- Simply_typed_lambda_calculus wikiPageWikiLink Principal_type.
- Principal_type primaryTopic Principal_type.