Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Function_type> ?p ?o }
Showing triples 1 to 95 of
95
with 100 triples per page.
- Function_type abstract "In computer science, a function type (also arrow type or exponential) is the type of a variable or parameter to which a function has or can be assigned, or an argument or result type of a higher-order function taking or returning a function.A function type depends on the type of the parameters and the result type of the function (it, or more accurately the unapplied type constructor · → ·, is a higher-kinded type). In theoretical settings and languages where functions are defined in curried form, such as the simply typed lambda calculus, a function type depends on exactly two types, the domain A and the range B. Here a function type is often denoted A → B, following mathematical convention, or BA, based on the fact that there exist exactly BA (exponentially many) set-theoretic functions mapping A to B.The function type can be considered to be a special case of the dependent product type. Among other properties, the dependent product type encompasses the idea of a polymorphic function.".
- Function_type wikiPageExternalLink the-hott-book.
- Function_type wikiPageID "583532".
- Function_type wikiPageLength "6728".
- Function_type wikiPageOutDegree "56".
- Function_type wikiPageRevisionID "646848771".
- Function_type wikiPageWikiLink Blocks_(C_language_extension).
- Function_type wikiPageWikiLink C++11.
- Function_type wikiPageWikiLink C_(programming_language).
- Function_type wikiPageWikiLink C_Sharp_(programming_language).
- Function_type wikiPageWikiLink Cardinality_of_the_continuum.
- Function_type wikiPageWikiLink Cartesian_closed_category.
- Function_type wikiPageWikiLink Category:Data_types.
- Function_type wikiPageWikiLink Category:Subroutines.
- Function_type wikiPageWikiLink Category:Type_theory.
- Function_type wikiPageWikiLink Computable_function.
- Function_type wikiPageWikiLink Computer_science.
- Function_type wikiPageWikiLink Continuous_function.
- Function_type wikiPageWikiLink Continuous_functions.
- Function_type wikiPageWikiLink Countable_set.
- Function_type wikiPageWikiLink Countably_infinite.
- Function_type wikiPageWikiLink Curried_form.
- Function_type wikiPageWikiLink Currying.
- Function_type wikiPageWikiLink Denotational_semantics.
- Function_type wikiPageWikiLink Dependent_type.
- Function_type wikiPageWikiLink Divergence_(computer_science).
- Function_type wikiPageWikiLink Domain_of_a_function.
- Function_type wikiPageWikiLink Domain_theory.
- Function_type wikiPageWikiLink Exponential_object.
- Function_type wikiPageWikiLink First-class_function.
- Function_type wikiPageWikiLink Function_(computer_science).
- Function_type wikiPageWikiLink Function_composition_(computer_science).
- Function_type wikiPageWikiLink Function_space.
- Function_type wikiPageWikiLink Go_(programming_language).
- Function_type wikiPageWikiLink Halting_problem.
- Function_type wikiPageWikiLink Haskell_(programming_language).
- Function_type wikiPageWikiLink Higher-kinded_type.
- Function_type wikiPageWikiLink Higher-order_function.
- Function_type wikiPageWikiLink Kind_(type_theory).
- Function_type wikiPageWikiLink Natural_number.
- Function_type wikiPageWikiLink Non-terminating_computation.
- Function_type wikiPageWikiLink OCaml.
- Function_type wikiPageWikiLink Objective-C.
- Function_type wikiPageWikiLink Parallel-or.
- Function_type wikiPageWikiLink Parameter_(computer_programming).
- Function_type wikiPageWikiLink Parameter_(computer_science).
- Function_type wikiPageWikiLink Parametric_polymorphism.
- Function_type wikiPageWikiLink Polymorphism_(computer_science).
- Function_type wikiPageWikiLink Range_(mathematics).
- Function_type wikiPageWikiLink Range_of_a_function.
- Function_type wikiPageWikiLink Scala_(programming_language).
- Function_type wikiPageWikiLink Scott_continuity.
- Function_type wikiPageWikiLink Scott_topology.
- Function_type wikiPageWikiLink Simply_typed_lambda_calculus.
- Function_type wikiPageWikiLink Standard_ML.
- Function_type wikiPageWikiLink Subroutine.
- Function_type wikiPageWikiLink Swift_(Apple_programming_language).
- Function_type wikiPageWikiLink Swift_(programming_language).
- Function_type wikiPageWikiLink Template_(C++).
- Function_type wikiPageWikiLink Turing_complete.
- Function_type wikiPageWikiLink Turing_completeness.
- Function_type wikiPageWikiLink Type_constructor.
- Function_type wikiPageWikiLink Type_erasure.
- Function_type wikiPageWikiLink Type_signature.
- Function_type wikiPageWikiLink Uncountable_set.
- Function_type wikiPageWikiLink Uncountably_infinite.
- Function_type wikiPageWikiLink Variable_(computer_science).
- Function_type wikiPageWikiLinkText "Exponential type".
- Function_type wikiPageWikiLinkText "Function type".
- Function_type wikiPageWikiLinkText "function type".
- Function_type wikiPageWikiLinkText "function".
- Function_type wikiPageWikiLinkText "types".
- Function_type hasPhotoCollection Function_type.
- Function_type id "function+type".
- Function_type title "function type".
- Function_type wikiPageUsesTemplate Template:Cite_book.
- Function_type wikiPageUsesTemplate Template:Data_types.
- Function_type wikiPageUsesTemplate Template:Nlab.
- Function_type subject Category:Data_types.
- Function_type subject Category:Subroutines.
- Function_type subject Category:Type_theory.
- Function_type hypernym Type.
- Function_type type Type.
- Function_type type Concept.
- Function_type type Structure.
- Function_type type Subroutine.
- Function_type type Type.
- Function_type comment "In computer science, a function type (also arrow type or exponential) is the type of a variable or parameter to which a function has or can be assigned, or an argument or result type of a higher-order function taking or returning a function.A function type depends on the type of the parameters and the result type of the function (it, or more accurately the unapplied type constructor · → ·, is a higher-kinded type).".
- Function_type label "Function type".
- Function_type sameAs m.0gmf7n0.
- Function_type sameAs Функциональный_тип.
- Function_type sameAs Q5508778.
- Function_type sameAs Q5508778.
- Function_type wasDerivedFrom Function_type?oldid=646848771.
- Function_type isPrimaryTopicOf Function_type.