Proceedings of MPC 2008

今天到中研院 meeting，scm 老師送我一本 MPC '08 的 proceedings 做紀念，裡面有好幾篇 papers 都很有趣的樣子！最近士氣還不錯，來讀一讀吧 XD。

看第一眼就有興趣的：

• Exploiting Unique Fixed Points（可惜只有 abstract…）
• The Capacity-C Torch Problem（過橋問題！）
• Zippy Tabulations of Recursive Functions（Richard Bird！致謝裡面 scm 老師的名字被拼錯了 XD。）
• Unfolding Abstract Datatypes（視 abstract datatypes 為一種 codata！）
• The Expression Lemma（似乎是 OOP 與 FP 的橋樑！）
• Algebra of Programming using Dependent Types（不過已經看很多次了 XD。）
• Asymptotic Improvement of Computations over Free Monads（正好接著看 XD。）

其他還有好幾篇看起來也挺炫的，不過先列一些想最優先讀的出來 XD。

--
還有 Oleg 上次講的〈Closing the Stage: From Staged Code to Typed Closures〉！