CSE230 Programming Languages 2017

科技演讲·公开课
--播放 · --弹幕
-- --
https://ucsd-pl.github.io/cse-130-230/fa17/ CSE 230 will cover advanced topics such a the Curry-Howard Isomorphism, Program verification, and Type systems.

视频选集

1/28
相关视频推荐
Programming Languages 201627:56:17
Programming Languages 2016
222播放 · 0弹幕
华盛顿大学 Programming Languages20:39:03
PL: Programming Languages 201816:58:39
CS1730  Programming Languages 201628:00:18
CSE130 Programming Languages 201723:20:17
cse131 Compilers 201817:19:25
cse131 Compilers 2018
342播放 · 0弹幕
R编程 R Programming5:23:15
R编程 R Programming
1912播放 · 2弹幕
19. dynamic programming i51:47
Edward Kmett - Monad Transformer Lenses1:24:00
如何深入交流视频内容04:19
Program Optimization 201535:18:54
Program Optimization 2015
147播放 · 0弹幕