2008/12/21

Publication Recommended!!

〈Algebra of Programming using Dependent Types〉journal 版通過審查了(minor revision)!這次 referees 看得非常仔細,像第一個 referee 的評論雖然篇幅相對較短,但逐點看下來,所有弱點或不足之處都被硬生生地抓出來(cf. 勇者王 GaoGaiGar 的招式 "Hammer Heaven" XD),讓我看得膽戰心驚。不過還是挺過癮的啦 XD。

--
赫然發現在交大浩然圖書館照的那張照片背景竟是〈定風波〉!

Labels:

Blogger Marvelous Pine12/21/2008 9:31 am 說:

你果然微冷

 

<< 回到主頁