Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Kind_(type_theory)> ?p ?o }
Showing triples 1 to 56 of
56
with 100 triples per page.
- Kind_(type_theory) wikiPageID "20627460".
- Kind_(type_theory) wikiPageLength "7830".
- Kind_(type_theory) wikiPageOutDegree "40".
- Kind_(type_theory) wikiPageRevisionID "706012462".
- Kind_(type_theory) wikiPageWikiLink Arity.
- Kind_(type_theory) wikiPageWikiLink Category:Data_types.
- Kind_(type_theory) wikiPageWikiLink Category:Type_theory.
- Kind_(type_theory) wikiPageWikiLink Computer_science.
- Kind_(type_theory) wikiPageWikiLink Currying.
- Kind_(type_theory) wikiPageWikiLink Data_type.
- Kind_(type_theory) wikiPageWikiLink Function_type.
- Kind_(type_theory) wikiPageWikiLink Functional_programming.
- Kind_(type_theory) wikiPageWikiLink Glasgow_Haskell_Compiler.
- Kind_(type_theory) wikiPageWikiLink Haskell_(programming_language).
- Kind_(type_theory) wikiPageWikiLink List_(abstract_data_type).
- Kind_(type_theory) wikiPageWikiLink Mathematical_logic.
- Kind_(type_theory) wikiPageWikiLink Parametric_polymorphism.
- Kind_(type_theory) wikiPageWikiLink Partial_application.
- Kind_(type_theory) wikiPageWikiLink Polymorphic_kind.
- Kind_(type_theory) wikiPageWikiLink Product_type.
- Kind_(type_theory) wikiPageWikiLink Programming_language.
- Kind_(type_theory) wikiPageWikiLink Pure_type_system.
- Kind_(type_theory) wikiPageWikiLink Scala_(programming_language).
- Kind_(type_theory) wikiPageWikiLink Simply_typed_lambda_calculus.
- Kind_(type_theory) wikiPageWikiLink System_F.
- Kind_(type_theory) wikiPageWikiLink Tuple.
- Kind_(type_theory) wikiPageWikiLink Type_class.
- Kind_(type_theory) wikiPageWikiLink Type_constructor.
- Kind_(type_theory) wikiPageWikiLink Type_theory.
- Kind_(type_theory) wikiPageWikiLink Types_and_Programming_Languages.
- Kind_(type_theory) wikiPageWikiLink Unary_function.
- Kind_(type_theory) wikiPageWikiLink Wiktionary:binary.
- Kind_(type_theory) wikiPageWikiLinkText "Kind (type theory)".
- Kind_(type_theory) wikiPageWikiLinkText "Kind".
- Kind_(type_theory) wikiPageWikiLinkText "higher-kinded types".
- Kind_(type_theory) wikiPageWikiLinkText "kind".
- Kind_(type_theory) wikiPageWikiLinkText "kinded".
- Kind_(type_theory) wikiPageUsesTemplate Template:Cite_book.
- Kind_(type_theory) wikiPageUsesTemplate Template:Data_types.
- Kind_(type_theory) wikiPageUsesTemplate Template:Refbegin.
- Kind_(type_theory) wikiPageUsesTemplate Template:Refend.
- Kind_(type_theory) wikiPageUsesTemplate Template:Reflist.
- Kind_(type_theory) wikiPageUsesTemplate Template:Vague.
- Kind_(type_theory) subject Category:Data_types.
- Kind_(type_theory) subject Category:Type_theory.
- Kind_(type_theory) type Type.
- Kind_(type_theory) type Structure.
- Kind_(type_theory) type Type.
- Kind_(type_theory) label "Kind (type theory)".
- Kind_(type_theory) sameAs Q6410497.
- Kind_(type_theory) sameAs カインド_(型理論).
- Kind_(type_theory) sameAs m.0521z1p.
- Kind_(type_theory) sameAs Род_(теория_типов).
- Kind_(type_theory) sameAs Q6410497.
- Kind_(type_theory) wasDerivedFrom Kind_(type_theory)?oldid=706012462.
- Kind_(type_theory) isPrimaryTopicOf Kind_(type_theory).