类型与编程语言
A

类型与编程语言

通用
type theory programming languages lambda calculus subtyping polymorphism type systems formal semantics
作者
Benjamin C. Pierce
出版社
The MIT Press
年份
2002
语言
英语
96
评价本书

阅读本书 登录 / 注册

预览片段

相似书籍

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

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

Benjamin C. Pierce (editor)

编程语言实践之路，第五版

编程语言实践之路，第五版

Michael L. Scott, Jonathan Aldrich

C++编程语言

C++编程语言

Bjarne Stroustrup

Rust 编程语言：语法、类型与核心概念全面指南

Rust 编程语言：语法、类型与核心概念全面指南

未在提供的内容中指定

面向对象编程原理

面向对象编程原理

未指定

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

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

Randal E. Bryant, David R. O'Hallaron

编程语言：概念与实现

编程语言：概念与实现

Saverio Perugini

Go编程语言规范

Go编程语言规范

奥利弗·斯通

算法与数据结构

算法与数据结构

Niklaus Wirth

概念与词汇：编程概念与词汇

概念与词汇：编程概念与词汇

作者未注明