[Haskell-cafe] Higher-order algorithms
stephen.tetley at gmail.com
Tue Aug 24 02:13:27 EDT 2010
On 23 August 2010 14:03, Eugene Kirpichov <ekirpichov at gmail.com> wrote:
> Do there exist other nontrivial higher-order algorithms and datastructures?
> Is the field of higher-order algorithms indeed as unexplored as it seems?
Aren't higher order algorithms "functional pearls"? :-)
You might find Olivier Danvy and Michael Spivey's "On Barron and
Strachey’s Cartesian Product Function" (subtitle "Possibly the world’s
first functional pearl") a interesting read - BRICS Tech Report
Olivier Danvy has a lot of work on defunctionalization and
refunctionalization which may be relevant at the "meta level".
More information about the Haskell-Cafe