: 簡単な言語とその型

A Theory of Type Polymorphism in Programming(2)
～～概要～～

児玉靖司
法政大学経営学部

平成12年8月22日