首页
注册
登录
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请
登录
V2EX
›
程序员
v 友们求推荐深入学习 类型系统 (type system) 的书籍吗
9ki
·
2018-12-22 17:35:09 +08:00
· 3295 次点击
这是一个创建于 2174 天前的主题,其中的信息可能已经有所发展或是发生改变。
type
system
书籍
类型
2 条回复
•
2018-12-22 20:51:30 +08:00
1
secondwtq
2018-12-22 17:44:38 +08:00
5
A path to enlightenment in Programming Language Theory
https://steshaw.org/plt/
2
agagega
2018-12-22 20:51:30 +08:00 via iPad
1
Types and Programming Languages,MIT Press 那个,好像还有本进阶版
关于
·
帮助文档
·
博客
·
API
·
FAQ
·
实用小工具
·
4455 人在线
最高记录 6679
·
Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 22ms ·
UTC 10:12
·
PVG 18:12
·
LAX 02:12
·
JFK 05:12
Developed with
CodeLauncher
♥ Do have faith in what you're doing.