There and back again

MaRDI QIDQ5472881zbMATH OpenFDO

Authors Olivier Danvy, Mayer Goldberg

Publication date 19 June 2006

zbMATH Keywords

recursive programming

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Zippy Tabulations of Recursive Functions
• A pattern for almost compositional functions
• A pattern for almost compositional functions
• Recursion Schemes for Dynamic Programming
• Using circular programs to eliminate multiple traversals of data

Cited in

(9)

• Shortcut fusion rules for the derivation of circular and higher-order programs
• Zippy Tabulations of Recursive Functions
• Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant
• Getting There and Back Again
• A well-known representation of monoids and its application to the function ‘vector reverse’
• Some remarks on type systems for course-of-value recursion
• Along the way back from the brink
• Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
• Refunctionalization at work

This page was built for publication: There and back again

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