zh-tw:types [2012 Formosan Summer School on Logic, Language, and Computation (FLOLAC '12)]
2012 Formosan Summer School on Logic, Language, and Computation (FLOLAC '12)
中文
English
足跡:
•
types
Type System
Lecturer:
陳恭 Kung Chen
Solution
to Exercises.
首頁
報名資訊
課程選單
邏輯
函數編程
λ 演算
型別系統
Hoare 邏輯
程式建構
Coq 程式驗證
特別演講
發送推文