Tag: type-system

Reading Note: Nominal type and Structural type