Talks

Types in Functional Programming [Slides, 演講錄音]
NTU CSIE Graduate Seminar [Announcement], 2011-11-25