Tag Archives: 型別

William Cook 談物件導向與抽象資料型別

廿五年過去了,Cook 說,我們對於抽象資料型別(abstract data type)物件(objects)這兩種達到資料抽象化的方法仍有普遍的誤解。

Posted in 計算算計 | Also tagged , , , , , | Leave a comment

傑出學者系列講座: Coq, a Proof Assistant Based On Type Theory

中研院資科所傑出學者系列講座:Coq, a Proof Assistant Based On Type Theory.

Posted in 活動消息 | Also tagged , | Leave a comment