ref: Re: interface と型チェックの有無 - usagidropの日記 なんというかなぁ、sumim さんの紹介された論文のタイトルが「Interfaces for Strongly-Typed Objecect-Oriented Programming」だというのを忘れていませんか。大学からダウンロード可能なので、ダ…