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)

Related topics

Related topics

34 relations
ActionScriptApache SparkCiaoClaire

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
Higher-Order Computability
This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable… 
Highly Cited
2009
Highly Cited
2009
Programming in Higher-Order Logic
In this course we examine the use of logic as a programming language. In this programming paradigm, a program is usually… 
2009
2009
Knowledge induction from medical databases with higher-order programming
Medical data mining is an emerging area of computational intelligence applied to automatically analyze patients' records aiming… 
Highly Cited
2000
Highly Cited
2000
Parametric polymorphism and operational equivalence
Studies of the mathematical properties of impredicative polymorphic types have for the most part focused on the polymorphic… 
1994
1994
A Confluent Relational Calculus for Higher-Order Programming with Constraints
We present the ρ-calculus, a relational calculus parametrized with a logical constraint system. The ρ-calculus provides for… 
Review
1994
Review
1994
THE EXACT COMPUTATION PARADIGM 1
We describe a paradigm for numerical computing, based on exact computation. This emerging paradigm has many advantages compared… 
Highly Cited
1992
Highly Cited
1992
The Revised Report on the Syntactic Theories of Sequential Control and State
Highly Cited
1991
Highly Cited
1991
The semantic foundations of concurrent constraint programming
Concurrent constraint programming [Sar89 ,SR90] is a simple and powerful model of concurrent computation based on the notions of… 
Highly Cited
1990
Highly Cited
1990
Higher-order functions considered unnecessary for higher-order programming
It is often claimed that the essence of functional programming is the use of functions as values, i.e., of higher order functions… 
Highly Cited
1972
Highly Cited
1972
Definitional Interpreters for Higher-Order Programming Languages
Higher-order programming languages (i.e., languages in which procedures or labels can occur as values) are usually defined by… 
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)