Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,356,357 papers from all fields of science
Search
Sign In
Create Free Account
Currying
Known as:
Curried function
, Function currying
, Currying concept
Expand
In mathematics and computer science, currying is the technique of translating the evaluation of a function that takes multiple arguments (or a tuple…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
ALGOL 68
Ackermann function
Builder pattern
Cartesian closed category
Expand
Broader (1)
Functional programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Digital circuit in CλaSH: functional specifications and type-directed synthesis
Christiaan Baaij
2015
Corpus ID: 62676218
Over the last three decades, the number of transistors used in microchips has increased by three orders of magnitude, from…
Expand
Highly Cited
2008
Highly Cited
2008
Switching Power: Rupert Murdoch and the Global Business of Media Politics
Amelia H. Arsenault
,
M. Castells
2008
Corpus ID: 145588629
This article proposes a hypothesis on the nature of power in the network society, the social structure of the Information Age. It…
Expand
Highly Cited
2008
Highly Cited
2008
Development of simulation system for the disaster evacuation based on multi-agent model using GIS
K. Uno
,
K. Kashiyama
2008
Corpus ID: 62537434
2004
2004
Staged simulation: A general technique for improving simulation scale and performance
Kevin Walsh
,
E. G. Sirer
TOMC
2004
Corpus ID: 17475007
This article describes staged simulation, a technique for improving the run time performance and scale of discrete event…
Expand
2004
2004
Recursive Function Definition for Types with Binders
Michael Norrish
International Conference on Theorem Proving in…
2004
Corpus ID: 2687608
This work describes the proof and uses of a theorem allowing definition of recursive functions over the type of λ-calculus terms…
Expand
2001
2001
Human interface using PC display with head pointing device for eating assist robot and emotional evaluation by GSR sensor
Yoshihiko Takahashi
,
Naoya Hasegawa
,
Katsumi Takahashi
,
T. Hatakeyama
Proceedings ICRA. IEEE International Conference…
2001
Corpus ID: 5868218
This paper proposes the human interface of an eating assistant robot to assist people with severe disability to gain/regain…
Expand
2000
2000
CPS transformation of beta-redexes
O. Danvy
,
Lasse R. Nielsen
Information Processing Letters
2000
Corpus ID: 1320394
1999
1999
LETOS – a lightweight execution tool for operational semantics
P. Hartel
Software, Practice & Experience
1999
Corpus ID: 14981018
A lightweight tool is proposed to aid in the development of operational semantics. To use LETOS an operational semantics must be…
Expand
1998
1998
Efficient High-Level Parallel Programming
George Horatiu Botorog
,
H. Kuchen
Theoretical Computer Science
1998
Corpus ID: 33067284
Highly Cited
1979
Highly Cited
1979
Another algorithm for bracket abstraction
D. Turner
Journal of Symbolic Logic (JSL)
1979
Corpus ID: 35835482
This short article presents an algorithm for bracket abstraction [1] which avoids a combinatorial explosion in the size of the…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE