
Registered user since Fri 24 Aug 2018
Name:Jaemin Hong
Country:South Korea
Affiliation:KAIST
Personal website:https://hjaem.info
GitHub:https://github.com/Medowhill
Contributions
PEPM 2023 | Semantic Transformation Framework for Rewriting Rules | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2023-profile
View general profile
View general profile