Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Currying
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Transforming a function in such a way that it only takes a single argument
Property
Value
dbo:
description
transformació d'una funció incorporant els seus paràmetres d'un en un
(ca)
פונקציה המקבלת פונקציה דו מקומית ומחזירה פונקציה שמחזירה פונקציה
(iw)
transformace víceparametrické funkce na funkci jednoho parametru
(cs)
transforming a function in such a way that it only takes a single argument
(en)
Umwandlung einer Funktion in eine Sequenz von Funktionen mit jeweils 1 Argument
(de)
dbo:
wikiPageExternalLink
http://lambda-the-ultimate.org/node/2266
http://c2.com/cgi/wiki%3FCurryingSchonfinkelling
dbo:
wikiPageWikiLink
dbr
:Ext_functor
dbr
:Homological_algebra
dbr
:Heyting_algebra
dbr
:If_and_only_if
dbr
:Partially_ordered_set
dbr
:Arity
dbr
:Eval
dbr
:Functional_programming_language
dbr
:Mathematics
dbr
:Quantum_mechanics
dbr
:Category_theory
dbr
:Lattice_(order)
dbr
:Quantum_logic
dbr
:Monoidal_category
dbr
:Function_space
dbr
:Compact-open_topology
dbc
:Functional_programming
dbr
:Computer_science
dbr
:F_Sharp_(programming_language)
dbr
:Function_(mathematics)
dbr
:ML_(programming_language)
dbr
:Mathematical_analysis
dbr
:Programming_language
dbr
:Scheme_(programming_language)
dbr
:Theoretical_computer_science
dbr
:Functional_analysis
dbr
:Eckmann–Hilton_duality
dbr
:Vector_space
dbr
:Closure_(computer_programming)
dbr
:Fibration
dbr
:Real_number
dbr
:Set_theory
dbr
:Type_theory
dbr
:David_Turner_(computer_scientist)
dbr
:Denotational_semantics
dbr
:Cobordism
dbr
:Continuous_function
dbr
:Mathematical_object
dbr
:Natural_transformation
dbr
:John_C._Reynolds
dbr
:Portland_Pattern_Repository
dbr
:Algebraic_topology
dbr
:String_theory
dbr
:Product_(category_theory)
dbr
:Product_(mathematics)
dbr
:Hom_functor
dbr
:Lift_(mathematics)
dbr
:Type_system
dbr
:Computer_programming
dbr
:Haskell_Curry
dbr
:Hilbert_space
dbr
:Moses_Schönfinkel
dbr
:Set_(mathematics)
dbr
:Bijection
dbr
:Cartesian_product
dbr
:Topological_space
dbr
:Homotopy
dbr
:Final_topology
dbr
:Universal_property
dbr
:Apply
dbr
:Homotopy_type_theory
dbr
:Tor_functor
dbr
:Loop_space
dbr
:Boolean_algebra
dbr
:Christopher_Strachey
dbr
:Curry–Howard_correspondence
dbr
:Fundamental_Concepts_in_Programming_Languages
dbr
:Lambda_calculus
dbr
:Simply_typed_lambda_calculus
dbr
:Code_refactoring
dbr
:Homotopy_theory
dbr
:Closed_category
dbr
:Closed_monoidal_category
dbr
:Cofibration
dbr
:Exact_sequence
dbr
:Order_theory
dbr
:Material_conditional
dbr
:Category_of_topological_spaces
dbr
:Cartesian_closed_category
dbr
:Compactly_generated_space
dbr
:Complete_partial_order
dbr
:Classical_logic
dbr
:Gottlob_Frege
dbr
:Homeomorphism
dbr
:Isomorphism
dbr
:Ordered_pair
dbr
:Tuple
dbr
:Partial_application
dbc
:Articles_with_example_Java_code
dbr
:Adjoint_functors
dbr
:Suspension_(topology)
dbr
:Lazy_evaluation
dbr
:Domain_theory
dbr
:Linear_logic
dbr
:Exponential_object
dbr
:Operator_associativity
dbr
:Mapping_cone_(topology)
dbr
:Smn_theorem
dbr
:Duality_(mathematics)
dbr
:Defunctionalization
dbr
:Category_of_sets
dbr
:Tensor_product
dbr
:Function_application
dbr
:Product_type
dbc
:Lambda_calculus
dbr
:Type_constructor
dbr
:Puppe_sequence
dbr
:Material_implication_(rule_of_inference)
dbc
:Higher-order_functions
dbr
:Function_type
dbr
:Homotopy_class
dbr
:Exponential_notation
dbr
:Tensor-hom_adjunction
dbr
:Reduced_suspension
dbr
:LISP
dbr
:Quantum_computation
dbr
:Sober_space
dbr
:Haskell_(programming_language)
dbr
:Natural_equivalence
dbr
:Adjoint_functor
dbr
:Adjunction_(category_theory)
dbr
:Linear_type_system
dbr
:Closure_(computer_science)
dbr
:Long_exact_sequence
dbr
:Monoidal_categories
dbr
:Morphism_(category_theory)
dbr
:CaML
dbr
:Entangled_quantum_states
dbr
:Right-associative
dbr
:Internal_Hom
dbr
:Internal_language
dbr
:Parameter_(computer_science)
dbr
:Scott_topology
dbr
:Locally_compact_Hausdorff
dbr
:Math._Ann.
dbr
:Synchronization_primitive
dbr
:Simply-typed_lambda_calculus
dbp:
wikiPageUsesTemplate
dbt
:Haskell_Curry
dbt
:About
dbt
:Design_patterns
dbt
:Main_article
dbt
:Reflist
dbt
:Rp
dbt
:Short_description
dbt
:Wiktionary
dbt
:Subsup
dct:
subject
dbc
:Functional_programming
dbc
:Articles_with_example_Java_code
dbc
:Lambda_calculus
dbc
:Higher-order_functions
gold:
hypernym
dbr
:Technique
rdfs:
label
Currying
(en)
Currificació
(ca)
Currying
(de)
Curryfication
(fr)
Currificación
(es)
Applicazione parziale
(it)
커링
(ko)
カリー化
(ja)
Currying
(pt)
Currying
(pl)
Каррирование
(ru)
Каррінг (інформатика)
(uk)
柯里化
(zh)
owl:
sameAs
freebase
:Currying
wikidata
:Currying
dbpedia-de
:Currying
dbpedia-es
:Currying
dbpedia-it
:Currying
dbpedia-pl
:Currying
dbpedia-fr
:Currying
dbpedia-he
:Currying
dbpedia-ja
:Currying
dbpedia-pt
:Currying
dbpedia-ru
:Currying
dbpedia-zh
:Currying
dbpedia-ko
:Currying
dbpedia-ca
:Currying
dbpedia-simple
:Currying
dbpedia-uk
:Currying
dbpedia-global
:Currying
yago-res
:Currying
prov:
wasDerivedFrom
wikipedia-en
:Currying?oldid=1296952500&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Currying
is
dbo:
knownFor
of
dbr
:Haskell_Curry
dbr
:Moses_Schönfinkel
is
dbo:
notableIdea
of
dbr
:Gottlob_Frege__Gottlob_Frege__1
is
dbo:
wikiPageDisambiguates
of
dbr
:Curry_(disambiguation)
is
dbo:
wikiPageRedirects
of
dbr
:Function_currying
dbr
:Curried
dbr
:Curried_form
dbr
:Curried_function
dbr
:Curry_(programming)
dbr
:Curry_function
dbr
:Curryfication
dbr
:Currying_concept
dbr
:Schoenfinkelisation
dbr
:Schonfinkelisation
dbr
:Schönfinkeling
dbr
:Schönfinkelisation
dbr
:Schönfinkelization
dbr
:Schönfinkelling
dbr
:Uncurry
dbr
:Uncurrying
is
dbo:
wikiPageWikiLink
of
dbr
:Intuitionistic_logic
dbr
:Constructive_set_theory
dbr
:Arity
dbr
:Eval
dbr
:Ternary_conditional_operator
dbr
:Categorical_abstract_machine
dbr
:Prolog
dbr
:Deduction_theorem
dbr
:Function_composition_(computer_science)
dbr
:ALGOL_68
dbr
:Apache_Groovy
dbr
:D_(programming_language)
dbr
:Eiffel_(programming_language)
dbr
:F_Sharp_(programming_language)
dbr
:ML_(programming_language)
dbr
:Scala_(programming_language)
dbr
:Scheme_(programming_language)
dbr
:Eckmann–Hilton_duality
dbr
:POP-2
dbr
:Closure_(computer_programming)
dbr
:Bilinear_form
dbr
:Boo_(programming_language)
dbr
:Clean_(programming_language)
dbr
:Derivative
dbr
:Exponentiation
dbr
:Miranda_(programming_language)
dbr
:Standard_ML
dbr
:Scott_continuity
dbr
:Wolfram_Language
dbr
:Magma_(algebra)
dbr
:Anonymous_function
dbr
:Higher-order_function
dbr
:Unlambda
dbr
:Cyclic_order
dbr
:Functional_decomposition
dbr
:Hom_functor
dbr
:Haskell_Curry
dbr
:Moses_Schönfinkel
dbr
:Associative_property
dbr
:Flix_(programming_language)
dbr
:FAUST_(programming_language)
dbr
:Parameter
dbr
:Curry_(disambiguation)
dbr
:Apply
dbr
:Operand
dbr
:Lodash
dbr
:Bread_and_Ink_Cafe
dbr
:Function_object
dbr
:Loop_space
dbr
:Christopher_Strachey
dbr
:Curry–Howard_correspondence
dbr
:Functional_programming
dbr
:Lambda_calculus
dbr
:Simply_typed_lambda_calculus
dbr
:Caml
dbr
:New_Foundations
dbr
:Polish_notation
dbr
:Conditional_(computer_programming)
dbr
:Deterministic_finite_automaton
dbr
:Binary_function
dbr
:Closed_monoidal_category
dbr
:Builder_pattern
dbr
:Map_(higher-order_function)
dbr
:Cartesian_closed_category
dbr
:Exportation_(logic)
dbr
:Gottlob_Frege
dbr
:Homotopy_extension_property
dbr
:Partial_application
dbr
:Adjoint_functors
dbr
:Probabilistic_automaton
dbr
:Suspension_(topology)
dbr
:Lazy_evaluation
dbr
:Parameter_(computer_programming)
dbr
:Exponential_object
dbr
:Type_signature
dbr
:Mapping_cone_(topology)
dbr
:Smn_theorem
dbr
:SuperCollider
dbr
:List_of_examples_of_Stigler's_law
dbr
:List_of_functional_programming_topics
dbr
:Function_application
dbr
:Primitive_recursive_functional
dbr
:Law_(stochastic_processes)
dbr
:Semigroup_action
dbr
:Kind_(type_theory)
dbr
:Type_constructor
dbr
:List_of_eponyms_(A–K)
dbr
:Import–export_(logic)
dbr
:Left_and_right_(algebra)
dbr
:Schönfinkel
dbr
:Haskell_features
dbr
:Function_type
dbr
:Anonymous_recursion
dbr
:Tensor-hom_adjunction
dbr
:List_of_types_of_functions
dbr
:Function_currying
dbr
:Curried
dbr
:Curried_form
dbr
:Curried_function
dbr
:Curry_(programming)
dbr
:Curry_function
dbr
:Curryfication
dbr
:Currying_concept
dbr
:Schoenfinkelisation
dbr
:Schonfinkelisation
dbr
:Schönfinkeling
dbr
:Schönfinkelisation
dbr
:Schönfinkelization
dbr
:Schönfinkelling
dbr
:Uncurry
dbr
:Uncurrying
is
dbp:
knownFor
of
dbr
:Haskell_Curry
dbr
:Moses_Schönfinkel
is
dbp:
notableIdeas
of
dbr
:Gottlob_Frege
is
foaf:
primaryTopic
of
wikipedia-en
:Currying
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International