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