Countdown: A case study in origami programming

DOI10.1017/S0956796805005642MaRDI QIDQ5695116zbMATH OpenFDO

Authors Richard S. Bird, Shin-Cheng Mu

Publication date 11 October 2005

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• The countdown problem
• Constraint functional logic programming for origami construction.
• scientific article; zbMATH DE number 2217819
• scientific article; zbMATH DE number 2220992
• Computational origami construction as constraint solving and rewriting

Cited in

(2)

• Formal derivation of greedy algorithms from relational specifications: a tutorial
• The countdown problem

This page was built for publication: Countdown: A case study in origami programming

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