RYU SUKYOUNG

Method and apparatus for expressing and checking relationships between types