:
Well-Typing アルゴリズムとその正当性
A Theory of Type Polymorphism in Programming(3)
〜〜 概要 〜〜
児玉靖司
東京理科大学理工学部情報科学科
平成12年8月22日