Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
We define a notion of stable and measurable map between cones endowed with measurability tests and show that it forms a cpo… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2015
Highly Cited
2015
This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable… Expand
Is this relevant?
Highly Cited
2007
Highly Cited
2007
We present a certified compiler from the simply-typed lambda calculus to assembly language. The compiler is certified in the… Expand
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Graphics cards for personal computers have recently undergone a radical transformation from fixed-function graphics pipelines to… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Summary. Considered herein are a number of variants of the classical Boussinesq system and their higher-order generalizations… Expand
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Higher-order programming languages (i.e., languages in which procedures or labels can occur as values) are usually defined by… Expand
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Abstract Studies of the mathematical properties of impredicatively polymorphic types have for the most part focused on the… Expand
  • figure 1
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Concurrent constraint programming [Sar89 ,SR90] is a simple and powerful model of concurrent computation based on the notions of… Expand
Is this relevant?
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… Expand
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… Expand
Is this relevant?