為何 SCI 論文數不適合評鑑資訊科學
一篇電腦科學 SCI 論文所引用的文獻平均有將近一半是不在 SCI 資料庫中的。「最常被引用學者」中並沒有 Wirth, Parnas, Knuth 等人。Mattern 說，ISI 眼中的電腦科學和學界的實況根本就是「兩個世界。」
月份: 2009 年 11 月
單子 (monad) 入門（二）讀取單子
一個算式的語意成了「拿一個環境，傳回一個整數」的函數。的確，既然算式算成的那個整數必須由環境決定，算式其實不能看作一個數子，而應該是從環境到整數的函數才對。
程式設計的公設基礎：四十年後
1969 年，C.A.R. Hoare 在 Communication of the ACM (12(10):576–580) 發表論文 An Axiomatic Basis for Computer Programming，在文中提出後來被稱作 Hoare 邏輯的一套公設系統, 被認為是計算科學史上最重要的幾篇論文之一。時間轉眼間過去了，今年已經是這篇論文的四十歲生日。
單子暖毛毛
Haskell 唯一的大錯誤，Simon Peyton Jones 說，是「單子」這冰冷生硬的數學名詞把人嚇跑了。我們應該把它取名為「暖毛毛（warm, fuzzy thing）」之類的。
單子 (monad) 入門（一）
函數 return 把一個型別為 a 的值「提升」到 m a；x >>= f 大致上的意思是執行 x 代表的運算，如果得到一個型別是 a 的值，把他傳給 f. 結果的型別是 m b.
William Cook 談物件導向與抽象資料型別
廿五年過去了，Cook 說，我們對於抽象資料型別(abstract data type)與物件(objects)這兩種達到資料抽象化的方法仍有普遍的誤解。