简介
Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat sy... 更多
属性
出版社
Cambridge University Press
ISBN
9780521054225
出版年
2008-01-21
装帧
Paperback
价格
346.00元
页数
200
时光轴
里程碑1
LOG0
2023
2023-09
轻识收录
评价
0.0（满分 10 分）0 个评分
什么是点评分
全部评价(
0)
推荐率
100%