ICFP 2009 和部份周邊研討會的全程錄影已經上網了。據我所知這是 ICFP 第一次嘗試將演講錄影上網，希望以後也能一直這麼做下去。
標籤
Aad van Wijngaarden Alan Turing ALGOL Benjamin Pierce Christopher Strachey Colossus Coq Dan Piponi Edsger Dijkstra Erik Meijer FLOLAC Guy Steele Haskell Hoare 邏輯 ICFP Jaap Zonneveld Jean-Pierre Jouannaud Luca Cardelli Mervyn Pragnell Oleg Kiselyov Peter J. Landin Peter Naur Ralf Hinze Rod Burstall SCI Turing 機器 Turing 測試 William Cook λ calculus 二元搜尋法 函數編程 單子 型別 抽象資料型別 模型檢查 歷史 河內塔問題 演算法 物件導向 程式推導 結構化程式 荷蘭國旗問題 資料抽象化 資料結構 邏輯分類
-
最近文章
最近回應
彙整