View in EDS HTML Full Text PDF Full Text

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

Saved in:

Bibliographic Details
Title:	Inductive synthesis of structurally recursive functional programs from non-recursive expressions.
Authors:	CHO, HANGYEOL¹ (AUTHOR), LEE, WOOSUK¹ (AUTHOR)
Source:	Journal of Functional Programming. 2025, Vol. 35, p1-51. 51p.
Database:	Mathematics Source
Full text is not displayed to guests. Login for full access.

Description
ISSN:	09567968
DOI:	10.1017/S0956796825100063