Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Function_type> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items 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 wikiPageRevisionID "597640174".
- Function_type hasPhotoCollection Function_type.
- Function_type id "function+type".
- Function_type title "function type".
- Function_type subject Category:Data_types.
- Function_type subject Category:Subroutines.
- Function_type subject Category:Type_theory.
- Function_type type Abstraction100002137.
- Function_type type Code106355894.
- Function_type type CodingSystem106353757.
- Function_type type Communication100033020.
- Function_type type Routine106582403.
- Function_type type Software106566077.
- Function_type type Subroutines.
- Function_type type Writing106359877.
- Function_type type WrittenCommunication106349220.
- 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 Q5508778.
- Function_type sameAs Q5508778.
- Function_type sameAs Function_type.
- Function_type wasDerivedFrom Function_type?oldid=597640174.
- Function_type isPrimaryTopicOf Function_type.