William Cook 談物件導向與抽象資料型別 7 11 月, 2009 7 11 月, 2009 / Leave a Comment / 計算算計 / Luca Cardelli, Peter Wegner, William Cook, 型別, 抽象資料型別, 物件導向, 資料抽象化 廿五年過去了,Cook 說,我們對於抽象資料型別(abstract data type)與物件(objects)這兩種達到資料抽象化的方法仍有普遍的誤解。
傑出學者系列講座: Coq, a Proof Assistant Based On Type Theory 30 9 月, 2009 30 9 月, 2009 / Leave a Comment / 活動消息 / Coq, Jean-Pierre Jouannaud, 型別 中研院資科所傑出學者系列講座:Coq, a Proof Assistant Based On Type Theory.