机读格式显示(MARC)
- 000 01027nam0 2200289 450
- 010 __ |a 978-7-04-028404-1 |d CNY36.50
- 100 __ |a 20100313d2010 em y0chiy50 ea
- 200 1_ |a 程序设计语言理论 |A cheng xu she ji yu yan li lun |d Theory of programming languages |f 陈意云,张昱[著] |z eng
- 210 __ |a 北京 |c 高等教育出版社 |d 2010
- 215 __ |a 350页 |c 图 |d 23cm
- 300 __ |a 研究生教学用书 高等学校计算机科学与技术
- 330 __ |a 本书主要围绕着一系列的λ演算来组织,该系列中λ演算的类型系统依次变得越来越复杂,这些λ演算用来分析和讨论相应的程序设计语言概念,如多态性、抽象数据类型、信赖类型、子定型等。
- 510 1_ |a Theory of programming languages |z eng
- 606 0_ |a 程序设计语言学 |x 高等学校 |j 教材
- 701 _0 |a 陈意云 |A chen yi yun |4 著
- 701 _0 |a 张昱 |A zhang yu |4 著
- 801 _0 |a CN |b CEPC |c 20100315
- 905 __ |a HDUL |d TP311.1/701