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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2014

Full-wave electromagnetic analysis of complex interconnects with efficiently controlled accuracy is performed via higher-order…

2012

2009

Medical data mining is an emerging area of computational intelligence applied to automatically analyze patients' records aiming…

2008

Abstract. This paper presents an inter-comparison of three different models applied to various glacier geometries. The three…

2007

Abstract History and context are given regarding the development of the WNF-machine, the first example of a Krivine machine.

2001

1999

This paper presents two approaches to primitive equality treatment in higher-order (HO) automated theorem proving: a calculus EP…

1996

Eigen-points estimates the image-plane locations of fiduciary points on an object. By estimating multiple locations…

1994

We present a method for proving the correctness of compiler optimizations for higher-order programming languages. Programs are…

1993

We will consider a new tiny, yet powerful, programming language for distributed systems, called DHOP, which has its operational…