About: Function type

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageExternalLink	https://archive.org/details/typesprogramming00pier_207%7Curl-access=limited%7Cpublisher=The https://archive.org/details/typesprogramming00pier_207/page/n122 http://homotopytypetheory.org/2013/06/20/the-hott-book/
dbo:wikiPageWikiLink	dbr:Currying dbr:Closure_(computer_programming) dbr:First-class_function dbr:Range_of_a_function dbr:C++ dbr:C_Sharp_(programming_language) dbr:Parametric_polymorphism dbr:Polymorphism_(computer_science) dbr:Variable_(computer_science) dbr:Standard_ML dbr:Cartesian_closed_category dbr:Type_constructor dbr:Type_erasure dbr:Function_composition_(computer_science) dbr:Function_space dbr:Computable_function dbr:Category_of_sets dbr:Domain_of_a_function dbr:OCaml dbr:Template_(C++) dbr:Domain_theory dbr:Halting_problem dbr:Type_signature dbr:Denotational_semantics dbr:Product_type dbc:Data_types dbr:Programming_language dbr:Rust_(programming_language) dbr:Dependent_type dbr:C_(programming_language) dbr:Computer_science dbc:Subroutines dbr:Go_(programming_language) dbc:Type_theory dbr:Objective-C dbr:Blocks_(C_language_extension) dbr:Mathematical_logic dbr:Higher-order_function dbr:Scala_(programming_language) dbr:C++11 dbr:Simply_typed_lambda_calculus dbr:Natural_number dbr:Type_inference dbr:Exponential_object dbr:Cardinality_of_the_continuum dbr:Function_(computer_science) dbr:Haskell_(programming_language) dbr:Swift_(programming_language) dbr:Turing_complete dbr:Adjoint_functor dbr:Continuous_functions dbr:Curried_form dbr:Higher-kinded_type dbr:Higher_order_function dbr:Uncountably_infinite dbr:Countably_infinite dbr:Parameter_(computer_science) dbr:Non-terminating_computation dbr:Scott_topology
dbp:id	function+type (en)
dbp:title	function type (en)
dbp:wikiPageUsesTemplate	dbt:Nlab dbt:Cite_book dbt:Math dbt:Code dbt:Data_types
dct:subject	dbc:Data_types dbc:Subroutines dbc:Type_theory
gold:hypernym	dbr:Type
rdfs:label	Function type (en) Функциональный тип (ru) Функційний тип (uk)
owl:sameAs	freebase:Function type yago-res:Function type wikidata:Function type dbpedia-ru:Function type dbpedia-uk:Function type dbpedia-global:Function type
prov:wasDerivedFrom	wikipedia-en:Function_type?oldid=1136509009&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Function_type
is dbo:wikiPageRedirects of	dbr:Function-space_constructor dbr:Function_space_constructor dbr:Function_space_type dbr:Function_space_types dbr:Function_types dbr:Arrow_type
is dbo:wikiPageWikiLink of	dbr:Currying dbr:Closure_(computer_programming) dbr:First-class_function dbr:Natural_deduction dbr:Literal_(computer_programming) dbr:Type_constructor dbr:Type_system dbr:Typed_lambda_calculus dbr:Exponential dbr:Function_space dbr:OpenCog dbr:Composite_data_type dbr:Anonymous_function dbr:Dependent_type dbr:Covariance_and_contravariance_(computer_science) dbr:Scope_(computer_science) dbr:Partial_application dbr:Zipper_(data_structure) dbr:Simply_typed_lambda_calculus dbr:Curry–Howard_correspondence dbr:Kind_(type_theory) dbr:Grammatical_Framework dbr:Function-space_constructor dbr:Function_space_constructor dbr:Function_space_type dbr:Function_space_types dbr:Function_types dbr:Arrow_type
is foaf:primaryTopic of	wikipedia-en:Function_type