2005-12-01 オブジェクト指向計算 それはやはりFeatherweight Javaですよ。普及度というか引用数からしてバッチリ(死語)。クラスベースじゃなければAbadi-Cardelliのobject calculusだけど。