Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hangyeol Cho
conf.researchr.org general profile
POPL 2023 profile
Not registered as user
Name:
Hangyeol Cho
Country:
South Korea
Affiliation:
Hanyang University
Contributions
2023
POPL
Author of Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions within the POPL-track
Share
x
Mon 31 Mar 02:20
