第五次 Functional Thursday 報名頁面出爐啦!這次時間比較趕,請有看到的朋友幫忙宣傳轉貼一下嘍 :)
時間
議程
[19:30~20:00] scm
Dependent Types (相依型別)
[20:10~20:40] suhorng
Write yourself a toy λ-calculus VM [投影片]
地點