Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 224,423,730 papers from all fields of science
Search
Sign In
Create Free Account
Higher-order programming
Known as:
Higher order programming
Higher-order programming is a style of computer programming that uses software components, like functions, modules or objects, as values. It is…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
34 relations
ActionScript
Apache Spark
Ciao
Claire
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
A macro agent and its actions
Larissa Albantakis
,
F. Massari
,
M. Beheler-Amass
,
G. Tononi
arXiv.org
2020
Corpus ID: 214743509
In science, macro level descriptions of the causal interactions within complex, dynamical systems are typically deemed convenient…
Expand
2012
2012
Design of dual-band circularly polarized dielectric resonator antenna using a higher-order mode
Hon San Ngan
,
X. Fang
,
K. Leung
Topical Conference on Antennas and Propagation in…
2012
Corpus ID: 28031130
A singly-fed dual-band circularly polarized dielectric resonator antenna (DRA) is investigated in this paper. It makes use of the…
Expand
2012
2012
Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit
M. Wenzel
UITP
2012
Corpus ID: 7060916
2009
2009
Knowledge induction from medical databases with higher-order programming
Nittaya Kerdprasop
,
Kittisak Kerdprasop
2009
Corpus ID: 14305696
Medical data mining is an emerging area of computational intelligence applied to automatically analyze patients' records aiming…
Expand
2007
2007
State-transition machines, revisited
David A. Schmidt
High. Order Symb. Comput.
2007
Corpus ID: 3012667
Abstract History and context are given regarding the development of the WNF-machine, the first example of a Krivine machine.
2001
2001
Prological Language Processing
R. Lämmel
,
G. Riedewald
LDTA@ETAPS
2001
Corpus ID: 2482992
1999
1999
Extensional Higher-Order Paramodulation and RUE-Resolution
Christoph Benzmüller
CADE
1999
Corpus ID: 17317027
This paper presents two approaches to primitive equality treatment in higher-order (HO) automated theorem proving: a calculus EP…
Expand
1996
1996
Eigen-points: control-point location using principal component analyses
M. Covell
Proceedings of the Second International…
1996
Corpus ID: 9057102
Eigen-points estimates the image-plane locations of fiduciary points on an object. By estimating multiple locations…
Expand
1994
1994
Correct Higher-Order Program Transformations
P. Steckler
1994
Corpus ID: 53846030
We present a method for proving the correctness of compiler optimizations for higher-order programming languages. Programs are…
Expand
Highly Cited
1990
Highly Cited
1990
Higher-order functions considered unnecessary for higher-order programming
J. Goguen
1990
Corpus ID: 14411469
It is often claimed that the essence of functional programming is the use of functions as values, i.e., of higher order functions…
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