Algorithm design with Haskell

DOI10.1017/9781108869041MaRDI QIDQ3305696zbMATH OpenOpenAlexFDO

Authors Richard S. Bird, Jeremy Gibbons

Publication date 10 August 2020

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

zbMATH Keywords

complexitycomputer algebracomputational geometryprogramming languagesalgorithmicsapplied logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Functional programming and lambda calculus (68N18) General topics in the theory of algorithms (68W01)

Recommendations

• scientific article; zbMATH DE number 5817498
• Algorithms for Functional Programming
• Design and analysis of algorithms. A contemporary perspective
• scientific article; zbMATH DE number 1376149
• Programming in Haskell

Cited in

(6)

• How much is in a square? Calculating functional programs with squares
• Fantastic morphisms and where to find them. A guide to recursion schemes
• An optimal, purely functional implementation of the Garsia-Wachs algorithm
• On the correctness of monadic backward induction
• Solving the snake cube puzzle in Haskell
• Programming in Haskell

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Algorithm design with Haskell

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