http://awards.acm.org/citation.cfm?id=1108679&srt=year&year=2008&aw=140&ao=AMTURINGLiskovといえば、自分の博士論文（⊃ POPL 2004と2005の論文）の関係で、抽象データ型とCLUの歴史を調べたのが懐かしいです…。調べた結果、（静的型ではなく一種の動的…