Jaemin Hong

Registered user since Fri 24 Aug 2018

Name:Jaemin Hong
Country:South Korea
Affiliation:KAIST
Personal website:https://hjaem.info

Contributions

PEPM 2023 Semantic Transformation Framework for Rewriting Rules
Show activities from other conferences

POPL 2023-profile
View general profile