2011年に読んだ論文紹介 または私は如何にして心配するのを止めて静的に型付けされたオブジェクト指向言語を愛するようになったか 書いた人: ると 書いた日: 2011年12月18日 今年読んだ面白CS論文紹介カレンダーの5日目の記事です。 もくじ Sound polymorphic type inference for objects または私は如何にして心配するのを止めて静的に型付けされたオブジェクト指向言語を愛するようになったか Covariance and Contravariance: Conflict without a Cause 共変と反変: 理由無き対立 What is Object-Oriented Programming? バック・トゥ・ザ・オブジェクト・オリエンテッド・プログラミング Sound polymorphic type inference for objec