Functional algorithm design

DOI10.1016/0167-6423(95)00033-XMaRDI QIDQ1916357zbMATH OpenFDO

Authors Richard S. Bird

Publication date 12 December 1996

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(95)00033-X

zbMATH Keywords

sorting algorithms

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10) Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 5817498
• Algorithms for Functional Programming
• Design and analysis of purely functional programs.
• Design of sequential sorting algorithms: Classification, transformation, synthesis

Cited in

(13)

• What is a sorting function?
• A duality of sorts
• Algorithms for Functional Programming
• scientific article; zbMATH DE number 5817498 (Why is no real title available?)
• Algebra of Programming Using Dependent Types
• Calculating with acyclic and cyclic lists
• Declarative pearl: deriving monadic quicksort
• Design of sequential sorting algorithms: Classification, transformation, synthesis
• Algorithm theories and design tactics
• Design and analysis of purely functional programs.
• Bridging the algorithm gap: A linear-time functional program for paragraph formatting
• Algebra of programming in Agda: Dependent types for relational program derivation
• A pointless derivation of radix sort

This page was built for publication: Functional algorithm design

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