Functional Pearls

DOI10.1017/S0956796800001908MaRDI QIDQ3125161zbMATH OpenOpenAlexFDO

Authors Jeremy Gibbons

Publication date 7 August 1997

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796800001908

zbMATH Keywords

list homomorphismthird homomorphism theorem

Mathematics Subject Classification ID

Theory of programming languages (68N15) Searching and sorting (68P10)

Recommendations

• Generalising and dualising the third list-homomorphism theorem: functional pearl
• Functional pearl: streams and unique fixed points
• Functional geometry and the \textit{Traité de lutherie} (functional pearl)
• On the structure of homothetic functions
• A homological version of the implicit function theorem
• Three functionals fixed point theorem
• Three approaches to the notion of functions maximally differing from homomorphisms
• Functional pearl: folding polynomials of polynomials
• On Homothetic Functions
• Third-order functionals on partial combinatory algebras

Cites work

• On folk theorems

Cited in

(7)

• Incremental computing with abstract data structures
• An algebra for distributed Big Data analytics
• Generalising and dualising the third list-homomorphism theorem: functional pearl
• A short cut to parallelization theorems
• Efficient parallel and incremental parsing of practical context-free languages
• Folding left and right matters: Direct style, accumulators, and continuations
• Program optimisations via hylomorphisms for extraction of executable code

This page was built for publication: Functional Pearls

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3125161)