計算機言語論の講義（小林担当分、4回）について

この講義では、型システムに関する最近の話題、特に型システムがコンパイラや ランタイムシステムなどでどのように役に立っているか、などについて解説します。 成績はレポートによってつけます。