Milner 消失的論文

以 ML, π-calculus, LCF, 和 Hindley-Milner 型別推導聞名的 Turing 獎得主 Robin Milner 於 2010 年三月逝世。這年的 ICFP 於是邀請劍橋大學同事 Mike Gordon 講述 Milner 生平。

整理文獻時,Gordon 發現了 An algebraic definition of simulation between programs 這篇論文的打字稿。該文中 Milner 提出了 "simulation" 的觀念,日後演變成現在的 simulation 和 bisimulation, 可說是篇重要的論文。這是一篇技術報告,後來另有篇會議版,應是本文和另一篇論文的綜合。[2]

令 Gordon 感興趣的是,稿子上方手寫著「投稿給 JACM, 1971 年九月」。但大家知道這篇論文一直都是技術報告。難道 JACM 把它退件了嗎?

Gordon 和 JACM 確認該文確實沒出版過。JACM 建議,當時的三位編輯都還健在,要不要寫信給他們看看是否還有紀錄留下來?

Gordon 寫了。三位編輯答案很一致。「什麼都不記得了!」

這場演講妙趣橫生,影片已經上網,很推薦大家看看。

References

This entry was posted in 人物 and tagged , . Bookmark the permalink. Post a comment or leave a trackback: Trackback URL.

Post a Comment

Your email is never published nor shared. Required fields are marked *

*
*

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>