2008/07/13

A Day with Oleg

昨天早上九點半到福華文教會館找 Oleg,然後一起去系館 202 實驗室。Oleg 講了好多好多關於 staged computation 的東西,從 ForthJoy 講起,然後是他寫的 OCaml code on deriving non-uniform staged virtual machines,接著又開始教 MetaOCaml 和一套 staged lambda calculus,還讓我看了好一段 Twelf code 證明前面那套 calculus 的型別系統的性質,吃午餐和晚餐的時候也有很豐富的串場。讓人又累又滿足啊!我開始對 staged computation 有興趣了 XD。

--
Oleg 真是太強了!

Labels:

<< 回到主頁