{"body":"依值型別編程 (DTP)\nDependently Typed Programming\n穆信成 Shin-Cheng Mu\nhttps://www.youtube.com/watch?v=Yl2TYS3UTc4             7/2 上午 part 1/9 169\nhttps://www.youtube.com/watch?v=IjD8mglDWRI             7/2 上午 part 2/9 170\nhttps://www.youtube.com/watch?v=pg2R-Yoq1Zs             7/2 上午 part 3/9 171\nhttps://www.youtube.com/watch?v=g0zDRnO24c0             7/2 上午 part 4/9 172\nhttps://www.youtube.com/watch?v=-kPIWdWQ8o0             7/2 上午 part 5/9 173\nhttps://www.youtube.com/watch?v=-DEsqlpqSp0             7/3 上午 part 6/9 179\nhttps://www.youtube.com/watch?v=UgXC_7BSfFA             7/3 上午 part 7/9 180\nhttps://www.youtube.com/watch?v=YRJjMI0x-ug             7/3 上午 part 8/9 181\nhttps://www.youtube.com/watch?v=vZRn76xbjTg             7/3 上午 part 9/9 182\n                缺                                      7/4 上午 缺\n\nFLOLAC'14 柯向上老師 型別論與邏輯 Part 1/x\n型別論與邏輯 (TT)\nType Theory and Logic\n柯向上 Hsiang-Shang Ko\nhttps://www.youtube.com/watch?v=-CkRUh74Jlo             7/1 上午 part  1/18 161\nhttps://www.youtube.com/watch?v=MkO7S2olC9g             7/1 上午 part  2/18 162\nhttps://www.youtube.com/watch?v=AN2nKNtDaok             7/1 上午 part  3/18 163\nhttps://www.youtube.com/watch?v=TGn4VWlVcKg             7/1 上午 part  4/18 164\nhttps://www.youtube.com/watch?v=rJwLct5Rur4             7/1 上午 part  5/18 165\nhttps://www.youtube.com/watch?v=EH9UHdeKYTo             7/2 下午 part  6/18 174\nhttps://www.youtube.com/watch?v=77ZcQwIDkMg             7/2 下午 part  7/18 175\nhttps://www.youtube.com/watch?v=_8d4oYyWTeE             7/2 下午 part  8/18 176\nhttps://www.youtube.com/watch?v=QB2NG5DXfIw             7/2 下午 part  9/18 177\nhttps://www.youtube.com/watch?v=amgwvpLB2_8             7/2 下午 part 10/18 178\nhttps://www.youtube.com/watch?v=Bu6sB9stu74             7/3 下午 part 11/18 183\nhttps://www.youtube.com/watch?v=SmMbeqj_LBg             7/3 下午 part 12/18 184\nhttps://www.youtube.com/watch?v=Yukv2eHr1tk             7/3 下午 part 13/18 185\nhttps://www.youtube.com/watch?v=wMuDHRrWyaI             7/3 下午 part 14/18 186\nhttps://www.youtube.com/watch?v=8uR8z4ZmOj0             7/4 下午 part 15/18 184\nhttps://www.youtube.com/watch?v=M25N47rRTgQ             7/4 下午 part 16/18 185\nhttps://www.youtube.com/watch?v=4eYFRfV4wLI             7/4 下午 part 17/18 186\nhttps://www.youtube.com/watch?v=bOckPUcSh-A             7/4 下午 part 18/18 187\n\n函數編程 (FP)\nFunctional Programming\n穆信成 Shin-Cheng Mu\nhttps://www.youtube.com/watch?v=3TJOZWcwFwo             6/30 part  1/11 150\nhttps://www.youtube.com/watch?v=SMJ0BJGWjOM             6/30 part  2/11 151\nhttps://www.youtube.com/watch?v=e3MGwt-IyL4             6/30 part  3/11 152\nhttps://www.youtube.com/watch?v=te3upjUMZKs             6/30 part  4/11 153\nhttps://www.youtube.com/watch?v=Kc_IODQpG3M             6/30 part  5/11 154\nhttps://www.youtube.com/watch?v=mvtcKMCDud0             6/30 part  6/11 155\nhttps://www.youtube.com/watch?v=Tm_5J-fmR1Y             6/30 part  7/11 156\nhttps://www.youtube.com/watch?v=Epr8b6qnYWI             6/30 part  8/11 157\nhttps://www.youtube.com/watch?v=5u19wLTXS1o             6/30 part  9/11 158\nhttps://www.youtube.com/watch?v=U7QKFNmQA-k             6/30 part 10/11 159\nhttps://www.youtube.com/watch?v=5TH10a7aXxk             6/30 part 11/11 160\n\n指稱語意 (DeS)\nDenotational Semantics\n莊庭瑞 Tyng-Ruey Chuang\nhttps://www.youtube.com/watch?v=1wtdZykJY7U             7/7 上午 part 1/8 189\nhttps://www.youtube.com/watch?v=mjR6qewrMlU             7/7 上午 part 2/8 190\nhttps://www.youtube.com/watch?v=oBQYAye3kLc             7/7 上午 part 3/8 191\nhttps://www.youtube.com/watch?v=ySOK4i-z7Ds             7/7 上午 part 4/8 192\nhttps://www.youtube.com/watch?v=DEfZNElPxV0             7/8 上午 part 5/8 194\nhttps://www.youtube.com/watch?v=okT6vTCrAQE             7/8 上午 part 6/8 195\nhttps://www.youtube.com/watch?v=MAMrcHoRd5Y             7/8 上午 part 7/8 196\nhttps://www.youtube.com/watch?v=rSb04j7RmoE             7/8 上午 part 8/8 197\n\n操作語意 (OpS)\nOperational Semantics\n陳亮廷 Liang-Ting Chen\n                缺                                      7/7 下午 缺\nhttps://www.youtube.com/watch?v=0FKDBZ_Zdvg             7/8 下午 part 5/8 194\nhttps://www.youtube.com/watch?v=YpCaQLqz178             7/8 下午 part 6/8 195\nhttps://www.youtube.com/watch?v=LeCkxx3aUKc             7/8 下午 part 7/8 196\nhttps://www.youtube.com/watch?v=oiCSDxZIL3I             7/8 下午 part 8/8 197\n7/9 下午 part  9/11 187\nhttps://www.youtube.com/watch?v=EJT2NwHSjr0             7/9 下午 part 10/11 188\n7/9 下午 part 11/11 189\n\n邀請演講 I: 函數程式設計的商業應用 (Talk I)\nInvited Talk I: Commercial Uses of Functional Programming\n唐鳳 Audrey Tang\nhttps://www.youtube.com/watch?v=ucAsjeGPuKo             7/1 下午 part 1/3 166\nhttps://www.youtube.com/watch?v=Ox-5FT9J1DI             7/1 下午 part 2/3 167\nhttps://www.youtube.com/watch?v=pM-ckpv0ZnQ             7/1 下午 part 3/3 168\n\n邀請演講 II: Haskell Type Classes 經驗談 (Talk II)\nInvited Talk II: My Experiences with Haskell’s Type Classes\n陳恭 Kung Chen\nhttps://www.youtube.com/watch?v=XhIHGl93TDI             7/10 下午 part 1/3 193\nhttps://www.youtube.com/watch?v=j9ga6UveQ_o             7/10 下午 part 2/3 194\nhttps://www.youtube.com/watch?v=v_05GhgoPzw             7/10 下午 part 3/3 195\n\n特殊講題：內嵌式領域特定語言 (SL)\nSpecial Lecture: Embedded Domain-Specific Languages\nJeremy Gibbons\nhttps://www.youtube.com/watch?v=V5VwfgoFrVY             7/9 上午 part 1/6\nhttps://www.youtube.com/watch?v=7Urno5RAuYM             7/9 上午 part 2/6\nhttps://www.youtube.com/watch?v=1cR6a3g_Y10             7/9 上午 part 3/6\nhttps://www.youtube.com/watch?v=_RPEoBovd4M             7/10 上午 part 4/6 190\nhttps://www.youtube.com/watch?v=qTv8BrrikJ0             7/10 上午 part 5/6 191\nhttps://www.youtube.com/watch?v=EdLv2KMu_6k             7/10 上午 part 6/6 192\n","name":"","extension":"","url":"https://www.irccloud.com/pastebin/8Ovy7YOd","modified":1405302844,"id":"8Ovy7YOd","size":6025,"lines":99,"own_paste":false,"theme":"","date":1405302844}