[[
zh-tw:talk2
]]
2014 Formosan Summer School on Logic, Language, and Computation (FLOLAC ’14)
首頁
Start
報名資訊頁
Registration
旁聽名單
課程簡介
型別論與邏輯
Type Theory and Logic
函數編程
Functional Programming
依值型別編程
Dependently Typed Programming
操作語意
Operational Semantics
指稱語意
Denotational Semantics
邀請演講 I
Invited Talk I
邀請演講 II
Invited Talk II
特殊講題
Special Lecture
邀請演講 II / Invited Talk II
講者:
陳恭 Kung Chen
講題: Haskell Type Classes 經驗談 / My Experience with Haskell’s Type Classes
投影片
。
zh-tw/talk2.txt
· 上一次變更: 2014/07/10 10:19 由
scm
多媒體管理器
回到頁頂