Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
In science, macro level descriptions of the causal interactions within complex, dynamical systems are typically deemed convenient… 
2012
2012
A singly-fed dual-band circularly polarized dielectric resonator antenna (DRA) is investigated in this paper. It makes use of the… 
2009
2009
Medical data mining is an emerging area of computational intelligence applied to automatically analyze patients' records aiming… 
2007
2007
Abstract History and context are given regarding the development of the WNF-machine, the first example of a Krivine machine.  
2001
2001
1999
1999
This paper presents two approaches to primitive equality treatment in higher-order (HO) automated theorem proving: a calculus EP… 
1996
1996
  • M. Covell
  • 1996
  • Corpus ID: 9057102
Eigen-points estimates the image-plane locations of fiduciary points on an object. By estimating multiple locations… 
1994
1994
We present a method for proving the correctness of compiler optimizations for higher-order programming languages. Programs are… 
Highly Cited
1990
Highly Cited
1990
It is often claimed that the essence of functional programming is the use of functions as values, i.e., of higher order functions…