Milner 消失的論文
令 Gordon 感興趣的是，稿子上方手寫著「投稿給 JACM, 1971 年九月」。但大家知道這篇論文一直都是技術報告。難道 JACM 把它退件了嗎？
計算算計
ICFP 最具影響力論文獎
從 2006 年開始，每次的 International Conference on Functional Programming (ICFP) 回顧十年前發表的論文，看看哪篇最經得起歲月的考驗，在十年中發揮了最大的影響力。ICFP 2010 剛在上個月底落幕，而這是 ICFP 2000 的論文列表。如果您是評審，會頒獎給誰呢？
Haskell 2010 出爐
Haskell 語言的新標準 Haskell 2010 已在七月六日出爐了。
計算多項式
我有大約 25 分鐘的時間和同學們介紹函數程式演算. FLOLAC ’10 的同學少部份學過 Haskell 或其他函數語言，大部份只在一週前學了三小時的 OCaml, 寫了一些程式作業，但對 fold 之類的抽象觀念可能還難以掌握。
距離平方和
給定一個有兩個以上元素的陣列a, 計算任兩個元素前者減後者所得之差的平方的總和。
再看二元搜尋法 Binary Search（下）
給定一個排序好的陣列 a[0..N)（其元素為 a[0], a[1] … a[N-1]）, 0 ≤ N。如何用 van Gasteren 與 Feijen 的方法判斷其中是否含有某個關鍵值 K 呢？
再看二元搜尋法 Binary Search（上）
如果你自認對二元搜尋 (binary search) 夠熟悉了，卻沒讀過 Netty van Gasteren 和 Wim Feijen 的研究筆記 The Binary Search Revisited, 強烈建議你找時間看看。
演算邏輯 Calculational Logic（二）騎士與惡棍之島
一個島上住著兩種人，騎士 (knight) 與惡棍 (knave) 。騎士總說實話，惡棍總說謊話，但從外表看不出誰是騎士或惡棍。某天，居民 A 和你說「B 剛剛說他自己是騎士」。由此你可知道 A 說的是實話還是謊話嗎？B 呢？傳說島上藏著金子，怎麼設計一個問題，查出傳言的真假呢？
演算邏輯 Calculational Logic（一）若且唯若
邏輯學家發展形式邏輯是為了研究邏輯本身，而演算邏輯的設計則是為了便於用邏輯來解決問題。