型検査規則と型検査器

• 型検査のアルゴリズムをルールの集合として記述

• 型検査器を SML で実装（1510 行）

前のｽﾗｲﾄﾞ

次のｽﾗｲﾄﾞ

最初のｽﾗｲﾄﾞに戻る

ｸﾞﾗﾌｨｯｸｽの表示