[[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
多媒體管理器回到頁頂
CC Attribution-Share Alike 3.0 Unported
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0