类型与编程语言的高级主题
A

类型与编程语言的高级主题

汇编语言
type theory programming languages dependent types substructural types type inference proof-carrying code modular systems
作者
Benjamin C. Pierce (editor)
出版社
The MIT Press
年份
2005
语言
英语
110
评价本书

阅读本书 登录 / 注册

预览片段

相似书籍

高级数据结构与算法

高级数据结构与算法

Abirami A, Priya R L

C++编程语言

C++编程语言

Bjarne Stroustrup

计算机系统：程序员的视角，第三全球版

计算机系统：程序员的视角，第三全球版

Randal E. Bryant, David R. O'Hallaron

C++程序设计语言（第四版）

C++程序设计语言（第四版）

Bjarne Stroustrup

编程语言：概念与实现

编程语言：概念与实现

Saverio Perugini

Effective C（第二版）：专业C编程入门

Effective C（第二版）：专业C编程入门

Robert C. Seacord

C++编程完全指南

C++编程完全指南

Ulla Kirch-Prinz, Peter Prinz

C# 编程：值类型与引用类型

C# 编程：值类型与引用类型

马克·J·普莱斯

C程序设计语言，第二版

C程序设计语言，第二版

Brayan U. Kernigan, Dennis M. Ritchi

高级Perl编程

高级Perl编程

Simon Cozens