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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1972-2016
02419722016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Higher-order programming admits the view of programs as values and has been shown useful to give a semantics to object-oriented… (More)
Is this relevant?
Highly Cited
2008
Highly Cited
2008
We consider recursion schemes (not assumed to be <i>homogeneously typed</i>, and hence not necessarily <i>safe</i>) and use them… (More)
  • figure 1
  • table 1
  • figure 3
  • figure 6
  • figure 8
Is this relevant?
2002
2002
A refinement calculus provides a method for transforming specifications to executable code, maintaining the correctness of the… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Escher is a general-purpose, declarative programming language that integrates the best features of both functional and logic… (More)
Is this relevant?
1994
1994
We propose a typed, higher-order, concurrent linear logic programming called higher-order ACL, which uniformly integrates a… (More)
  • figure 1
  • figure 2
  • figure 6
  • figure 8
  • figure 11
Is this relevant?
Highly Cited
1993
Highly Cited
1993
D We describe a novel logic, called HiLog, and show that it provides a more suitable basis for logic programming than does… (More)
Is this relevant?
1993
1993
This article describes eXene, a user interface toolkit implemented in a concurrent extension of Standard ML. The design and use… (More)
  • figure 4.1
  • figure 4.2
  • figure 4.5
  • figure 4.6
Is this relevant?
1990
1990
This paper presents a framework for synthesizing rewrite programs using higher-order and semantic unification. Many problems in… (More)
Is this relevant?
Highly Cited
1972
Highly Cited
1972
Higher-order programming languages (i.e., languages in which procedures or labels can occur as values) are usually defined by… (More)
Is this relevant?