Design and analysis of purely functional programs.

MaRDI QIDQ4912845zbMATH OpenFDO

Authors Christian Rinderknecht

Publication date 27 March 2013

zbMATH Keywords

algorithmscomplexity analysisErlangfunctional programmingXSLT

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 5817498
• Algorithms for Functional Programming
• Purely Functional Data Structures
• Functional algorithm design
• scientific article; zbMATH DE number 1090656

Cited in

(5)

• Functional algorithm design
• scientific article; zbMATH DE number 5817498 (Why is no real title available?)
• The Qualified Function Approach to Analysis of Program Behavior and Performance
• Purely Functional Data Structures
• Functional programs that explain their work

Describes a project that uses

Uses Software

• Haskell
• OCaml
• Erlang

This page was built for publication: Design and analysis of purely functional programs.

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