Inductive synthesis of structurally recursive functional programs from non-recursive expressions

DOI10.1017/S0956796825100063MaRDI QIDQ6917836zbMATH OpenFDO

Authors Hangyeol Cho, Woosuk Lee

Publication date 10 October 2025

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

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

This page was built for publication: Inductive synthesis of structurally recursive functional programs from non-recursive expressions

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