机读格式显示(MARC)
- 010 __ |a 978-7-111-69740-4 |d CNY139.00
- 100 __ |a 20220507d2022 em y0chiy50 ea
- 200 1_ |a 实用编程语言理论基础 |A Shi Yong Bian Cheng Yu Yan Li Lun Ji Chu |f (美) 罗伯特·哈珀著 |d = Practical foundations for programming languages |f Robert Harper |g 张昱, 胡明哲等译 |z eng
- 210 __ |a 北京 |c 机械工业出版社 |d 2022
- 215 __ |a xiv, 385页 |d 26cm
- 225 2_ |a 计算机科学丛书 |A Ji Suan Ji Ke Xue Cong Shu
- 306 __ |a 剑桥大学出版社与机械工业出版社合作出版 限中国大陆发行
- 320 __ |a 有书目 (第379-385页)
- 330 __ |a 本书提出了一种基于类型系统和结构操作语义的编程语言理论。全书涉及的概念广泛,包括:判断和规则、静态语义和动态语义、全函数、类型和命题、有限数据类型、无限数据类型、变量类型、动态类型、子定型等。
- 410 _0 |1 2001 |a 计算机科学丛书
- 500 10 |a Practical foundations for programming languages |A Practical foundations for programming languages |m Chinese
- 517 1_ |a 编程语言理论基础 |A Bian Cheng Yu Yan Li Lun Ji Chu
- 606 0_ |a 程序语言 |A Cheng Xu Yu Yan |x 程序设计
- 701 _1 |a 哈珀 |A Ha Po |g (Harper, Robert) |4 著
- 702 _0 |a 张昱 |A Zhang Yu |4 译
- 702 _0 |a 胡明哲 |A Hu Ming Zhe |4 译
- 801 _0 |a CN |b ZPHC |c 20220507
- 905 __ |a ZPHC |d TP312/296