Algorithms for Functional Programming

DOI10.1007/978-3-662-57970-1MaRDI QIDQ4558906zbMATH OpenOpenAlexFDO

Authors John David Stone

Publication date 30 November 2018

Full work available at URL https://doi.org/10.1007/978-3-662-57970-1

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 4094791
• Functional algorithm design
• scientific article; zbMATH DE number 42964
• Functional programming concepts and straight-line programs in computer algebra
• Loopless Functional Algorithms
• scientific article; zbMATH DE number 42965
• Program algebras of recursive functions
• scientific article; zbMATH DE number 604445

Cited in

(7)

• Functional algorithm design
• scientific article; zbMATH DE number 5817498 (Why is no real title available?)
• Algorithm design with Haskell
• scientific article; zbMATH DE number 1376149 (Why is no real title available?)
• Purely Functional Data Structures
• Design and analysis of purely functional programs.
• Functional data structures and algorithms. A proof assistant approach

This page was built for publication: Algorithms for Functional Programming

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