中研院資科所傑出學者系列講座：Coq, a Proof Assistant Based On Type Theory.
標籤
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 二元搜尋法 函數編程 單子 型別 抽象資料型別 模型檢查 歷史 河內塔問題 演算法 物件導向 程式推導 結構化程式 荷蘭國旗問題 資料抽象化 資料結構 邏輯分類
-
最近文章
最近回應
- 「Liang-Ting Chen」在〈先寬度標記 — Oleg Kiselyov 的解法〉發佈留言
- 「[中英對照] Dijkstra 圖靈獎演講：謙遜的程式設計師 The Humble Programmer by Edsger W. Dijkstra 1972 - Trend! 趨勢，潮流，動向，動態」在〈Dijkstra, ALGOL 60, 與 van Wijngaarden〉發佈留言
- 「[中英對照] Dijkstra 圖靈獎演講：謙遜的程式設計師 The Humble Programmer by Edsger W. Dijkstra 1972 - Trend! 趨勢，潮流，動向，動態」在〈Go To 有害大論戰〉發佈留言
- 「快速排序 - 广元中学计算机协会｜博客」在〈荷蘭國旗問題 The Dutch National Flag Problem（上）〉發佈留言
- 「浅谈算法和数据结构: 四 快速排序 | 无极·倾心 - Kwin's Star World」在〈荷蘭國旗問題 The Dutch National Flag Problem（上）〉發佈留言
彙整