文件名称:
foundational-knowledge-for-programmers:有关程序员基础知识的资源列表（可能持续数十年）-源码
开发工具:
文件大小: 3kb
下载次数: 0
上传时间: 2021-03-21
详细说明：程序员的基础知识
基础知识是基础知识非常不同：如果你在现场是一个新人，也未必是最短路径，成为“职业准备” ......但你会在这里学到将持续你的寿命长！
如果您知道一些符合上面定义的优质资源，请随时贡献。
计算机科学
一般的
计算机程序（MIT）的结构和解释
计算机科学数学（MIT）
程式语言理论
B. Pierce在Coq中的软件基础
逻辑基础
编程语言基础
经过验证的功能算法
P. Wadler Agda中的编程语言基础》
范畴论
B. Milewski编写的程序员分类理论
类别编程（MIT）
构图的七个草图：对应用范畴论的邀请
类型理论
命题作为类型
小打字机
2010年俄勒冈编程语言暑期学校
证明理论
小小证明者
2010年俄勒冈州编程语言暑期学校
杂项
Edwin Brady制作的Idris的依附类型
Haskell中的类型冒险-西蒙·佩顿·琼斯
编程范例
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
