On Evolving of Recursive Functions using λ-abstraction and Higher-order Functions

DOI10.1093/JIGPAL/JZI039MaRDI QIDQ5716209zbMATH OpenOpenAlexFDO

Authors Martin Dostál

Publication date 18 January 2006

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzi039

zbMATH Keywords

automatic programminghigher-order functionslambda calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Hierarchical processing for evolving recursive and modular programs using higher-order functions and lambda abstraction
• scientific article; zbMATH DE number 4037167
• scientific article; zbMATH DE number 4124988
• Discovering applications of higher order functions through proof planning
• scientific article; zbMATH DE number 4117819

Cited in

(5)

• Discovering applications of higher order functions through proof planning
• Repetitive applications of function as argument in programming languages
• Hierarchical processing for evolving recursive and modular programs using higher-order functions and lambda abstraction
• scientific article; zbMATH DE number 4037167 (Why is no real title available?)
• scientific article; zbMATH DE number 4124988 (Why is no real title available?)

This page was built for publication: On Evolving of Recursive Functions using λ-abstraction and Higher-order Functions

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