SJTUG例行分享：Dependent Type
October 4, 2016
hawnzug
Main Library E316
2016-10-04T18:00:00+08:00
news
sharing
10月4日晚18:00 - 21:00，@邵成 @钱泽森 两位同学在新图E316向大家介绍 Dependent Type。
邵成：Fun with Dependent Types in Haskell
钱泽森：How to Write a Safe Printf in Agda
视频在 LiveEdu 可以看到
分享资料 : sjtug/sharing