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.

2016

2012

A singly-fed dual-band circularly polarized dielectric resonator antenna (DRA) is investigated in this paper. It makes use of the…

2012

2009

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

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…

1995

This is yet another paper which tells logic programmers what functional programmers have known and practiced for a long time…

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…