Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jaewoo Kim
conf.researchr.org general profile
POPL 2026 profile
Not registered as user
Name:
Jaewoo Kim
Affiliation:
Seoul National University
Contributions
2026
POPL
Author of Coco: Corecursion with Compositional Heterogeneous Productivity within the POPL-track
Share
x
Mon 16 Feb 13:15