2008/03/10

Textbooks

我受夠了!Paper 裡面都是一堆奇怪的 XX-types 和各種令人眼花撩亂的 typing rules,該是讀一讀 textbooks 的時候了。上完知識論就去借 Benjamin Pierce 的《Types and Programming Languages》和《Advanced Topics in Types and Programming Languages》!

很久以前我在天瓏曾被《Types and Programming Languages》吸引,把它拿下來翻一翻,但顯然我那時沒料到日後會這麼迫切地需要它 XD。

--
有沒有時間看就是另一回事了…

Labels: