The page "Draft addition to "The Difference Between Named Type Systems and Structural Type Systems"" does not exist in ja language.
Try English version