以 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
- 1. ML – metalanguage or object language. Mike Gordon, invited talk at International Conference on Functional Programming 2010. (video)
- 2. On the origins of bisimulation and coinduction. Davide Sangiorgi. ACM Transactions on Programming Languages and Systems 31(4), 2009