搜索

Types and Programming Language

0粉丝
A type system is a syntactic method for automatically checking the absence
知识
简介
A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of typ... 更多
属性
出版社
The MIT Press
ISBN
9780262162098
出版年
2002-2-1
装帧
Hardcover
价格
USD 95.00
页数
645

时光轴

里程碑1
LOG0
2023
2023-09
轻识收录
打卡
我要打卡
我要打卡
评价
0.0（满分 10 分）0 个评分
什么是点评分
图片
表情
全部评价( 0)
推荐率 100%
推荐
Types and Programming Language
A type system is a syntactic method for automatica
Programming with Types
Programming with Types teaches you to design safe,
Programming with Types
Programming with Types
0
The D Programming Language
"To the best of my knowledge, D offers an unpreced
The Go Programming Language
The Go Programming Language
0
The AWK Programming Language
The AWK Programming Language
0
The C++ Programming Language
The C++ Programming Language
0
The C Programming Language
The C Programming Language
0
The Rust Programming Language
The Rust Programming Language
0
Programming Language Pragmatics
A survey of today's programming languages, compila