Synthesizing Recursive Functional Programs via Structure-Element Separation

Junyu Lin, Akimasa Morihata. Synthesizing Recursive Functional Programs via Structure-Element Separation. In L. Thomas van Binsbergen, Daniel StrĂ¼ber 0001, Lionel Parreaux, editors, Proceedings of the 25th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2026, Brussels, Belgium, 29 June 2026. pages 83-93, ACM, 2026. [doi]

Authors

Junyu Lin

This author has not been identified. Look up 'Junyu Lin' in Google

Akimasa Morihata

This author has not been identified. Look up 'Akimasa Morihata' in Google