Not registered as user yet

Name:Jinwoo Kim
Affiliation:Seoul National University

Contributions

PLDI 2023 Fair Operational Semantics
Show activities from other conferences

Using general profile