Barbara Liskovチューリング賞受賞

http://awards.acm.org/citation.cfm?id=1108679&srt=year&year=2008&aw=140&ao=AMTURING

Liskovといえば、自分の博士論文（⊃ POPL 2004と2005の論文）の関係で、抽象データ型とCLUの歴史を調べたのが懐かしいです…。調べた結果、（静的型ではなく一種の動的暗号化による）データ抽象を最初に考えたのはLiskovじゃなくて、文脈等価性(contextual equivalence)とかで有名なMorris Jr.ということでしたが。（Cf. Liskov自身による歴史?論文）