gistfile1.txt

# Pastebin 8Ovy7YOd
依值型別編程 (DTP)
Dependently Typed Programming
穆信成 Shin-Cheng Mu
https://www.youtube.com/watch?v=Yl2TYS3UTc4             7/2 上午 part 1/9 169
https://www.youtube.com/watch?v=IjD8mglDWRI             7/2 上午 part 2/9 170
https://www.youtube.com/watch?v=pg2R-Yoq1Zs             7/2 上午 part 3/9 171
https://www.youtube.com/watch?v=g0zDRnO24c0             7/2 上午 part 4/9 172
https://www.youtube.com/watch?v=-kPIWdWQ8o0             7/2 上午 part 5/9 173
https://www.youtube.com/watch?v=-DEsqlpqSp0             7/3 上午 part 6/9 179
https://www.youtube.com/watch?v=UgXC_7BSfFA             7/3 上午 part 7/9 180
https://www.youtube.com/watch?v=YRJjMI0x-ug             7/3 上午 part 8/9 181
https://www.youtube.com/watch?v=vZRn76xbjTg             7/3 上午 part 9/9 182
                缺                                      7/4 上午 缺

FLOLAC'14 柯向上老師 型別論與邏輯 Part 1/x
型別論與邏輯 (TT)
Type Theory and Logic
柯向上 Hsiang-Shang Ko
https://www.youtube.com/watch?v=-CkRUh74Jlo             7/1 上午 part  1/18 161
https://www.youtube.com/watch?v=MkO7S2olC9g             7/1 上午 part  2/18 162
https://www.youtube.com/watch?v=AN2nKNtDaok             7/1 上午 part  3/18 163
https://www.youtube.com/watch?v=TGn4VWlVcKg             7/1 上午 part  4/18 164
https://www.youtube.com/watch?v=rJwLct5Rur4             7/1 上午 part  5/18 165
https://www.youtube.com/watch?v=EH9UHdeKYTo             7/2 下午 part  6/18 174
https://www.youtube.com/watch?v=77ZcQwIDkMg             7/2 下午 part  7/18 175
https://www.youtube.com/watch?v=_8d4oYyWTeE             7/2 下午 part  8/18 176
https://www.youtube.com/watch?v=QB2NG5DXfIw             7/2 下午 part  9/18 177
https://www.youtube.com/watch?v=amgwvpLB2_8             7/2 下午 part 10/18 178
https://www.youtube.com/watch?v=Bu6sB9stu74             7/3 下午 part 11/18 183
https://www.youtube.com/watch?v=SmMbeqj_LBg             7/3 下午 part 12/18 184
https://www.youtube.com/watch?v=Yukv2eHr1tk             7/3 下午 part 13/18 185
https://www.youtube.com/watch?v=wMuDHRrWyaI             7/3 下午 part 14/18 186
https://www.youtube.com/watch?v=8uR8z4ZmOj0             7/4 下午 part 15/18 184
https://www.youtube.com/watch?v=M25N47rRTgQ             7/4 下午 part 16/18 185
https://www.youtube.com/watch?v=4eYFRfV4wLI             7/4 下午 part 17/18 186
https://www.youtube.com/watch?v=bOckPUcSh-A             7/4 下午 part 18/18 187

函數編程 (FP)
Functional Programming
穆信成 Shin-Cheng Mu
https://www.youtube.com/watch?v=3TJOZWcwFwo             6/30 part  1/11 150
https://www.youtube.com/watch?v=SMJ0BJGWjOM             6/30 part  2/11 151
https://www.youtube.com/watch?v=e3MGwt-IyL4             6/30 part  3/11 152
https://www.youtube.com/watch?v=te3upjUMZKs             6/30 part  4/11 153
https://www.youtube.com/watch?v=Kc_IODQpG3M             6/30 part  5/11 154
https://www.youtube.com/watch?v=mvtcKMCDud0             6/30 part  6/11 155
https://www.youtube.com/watch?v=Tm_5J-fmR1Y             6/30 part  7/11 156
https://www.youtube.com/watch?v=Epr8b6qnYWI             6/30 part  8/11 157
https://www.youtube.com/watch?v=5u19wLTXS1o             6/30 part  9/11 158
https://www.youtube.com/watch?v=U7QKFNmQA-k             6/30 part 10/11 159
https://www.youtube.com/watch?v=5TH10a7aXxk             6/30 part 11/11 160

指稱語意 (DeS)
Denotational Semantics
莊庭瑞 Tyng-Ruey Chuang
https://www.youtube.com/watch?v=1wtdZykJY7U             7/7 上午 part 1/8 189
https://www.youtube.com/watch?v=mjR6qewrMlU             7/7 上午 part 2/8 190
https://www.youtube.com/watch?v=oBQYAye3kLc             7/7 上午 part 3/8 191
https://www.youtube.com/watch?v=ySOK4i-z7Ds             7/7 上午 part 4/8 192
https://www.youtube.com/watch?v=DEfZNElPxV0             7/8 上午 part 5/8 194
https://www.youtube.com/watch?v=okT6vTCrAQE             7/8 上午 part 6/8 195
https://www.youtube.com/watch?v=MAMrcHoRd5Y             7/8 上午 part 7/8 196
https://www.youtube.com/watch?v=rSb04j7RmoE             7/8 上午 part 8/8 197

操作語意 (OpS)
Operational Semantics
陳亮廷 Liang-Ting Chen
                缺                                      7/7 下午 缺
https://www.youtube.com/watch?v=0FKDBZ_Zdvg             7/8 下午 part 5/8 194
https://www.youtube.com/watch?v=YpCaQLqz178             7/8 下午 part 6/8 195
https://www.youtube.com/watch?v=LeCkxx3aUKc             7/8 下午 part 7/8 196
https://www.youtube.com/watch?v=oiCSDxZIL3I             7/8 下午 part 8/8 197
7/9 下午 part  9/11 187
https://www.youtube.com/watch?v=EJT2NwHSjr0             7/9 下午 part 10/11 188
7/9 下午 part 11/11 189

邀請演講 I: 函數程式設計的商業應用 (Talk I)
Invited Talk I: Commercial Uses of Functional Programming
唐鳳 Audrey Tang
https://www.youtube.com/watch?v=ucAsjeGPuKo             7/1 下午 part 1/3 166
https://www.youtube.com/watch?v=Ox-5FT9J1DI             7/1 下午 part 2/3 167
https://www.youtube.com/watch?v=pM-ckpv0ZnQ             7/1 下午 part 3/3 168

邀請演講 II: Haskell Type Classes 經驗談 (Talk II)
Invited Talk II: My Experiences with Haskell’s Type Classes
陳恭 Kung Chen
https://www.youtube.com/watch?v=XhIHGl93TDI             7/10 下午 part 1/3 193
https://www.youtube.com/watch?v=j9ga6UveQ_o             7/10 下午 part 2/3 194
https://www.youtube.com/watch?v=v_05GhgoPzw             7/10 下午 part 3/3 195

特殊講題：內嵌式領域特定語言 (SL)
Special Lecture: Embedded Domain-Specific Languages
Jeremy Gibbons
https://www.youtube.com/watch?v=V5VwfgoFrVY             7/9 上午 part 1/6
https://www.youtube.com/watch?v=7Urno5RAuYM             7/9 上午 part 2/6
https://www.youtube.com/watch?v=1cR6a3g_Y10             7/9 上午 part 3/6
https://www.youtube.com/watch?v=_RPEoBovd4M             7/10 上午 part 4/6 190
https://www.youtube.com/watch?v=qTv8BrrikJ0             7/10 上午 part 5/6 191
https://www.youtube.com/watch?v=EdLv2KMu_6k             7/10 上午 part 6/6 192