原始文稿 · 英语

Bartosz Milewski：初识类型论

原标题Bartosz Milewski: A Taste of Type Theory

BMBartosz Milewski讲者 · Reliable Software

频道: GOTO Conferences
视频: 53:50
文稿语言: 英语
来源: YouTube 自动字幕，未经校对

这是视频的原始文稿，按原样显示，没有编辑过。整理过的全文、摘要和各语言译文在文章页。

返回文章在 YouTube 打开

正在加载原始文稿…