【技术分享】Dependent Type最近的一些发展

科技演讲·公开课2019-02-11 15:47:55
--播放 · --弹幕未经作者授权,禁止转载
-- --
稿件投诉
在ZJU Lambda社团进行的一次技术分享,讲解dependent type的近年发展。两个大话题是Coinduction和Cubical Model,也围绕各种各样的实现细节进行了一些分析。
评论
略懂编程的弱渣。JetBrains粉丝。
相关推荐
个性化推荐算法实践12:27:52
个性化推荐算法实践
1.4万播放 · 80弹幕
个人开发死路一条23:30
黑马28期Android全套视频346:22:06
十年Linux,百年Emacs2:04:00
【上海交大】计算机图形学【31集】31:55:11
麻省理工学院公开课:算法导论30:02:11
直播编程写游戏 - 11:21:06
直播编程写游戏 - 1
9.2万播放 · 1744弹幕