机读格式显示(MARC)
- 000 01266oam2 2200313 450
- 010 __ |a 978-7-111-69740-4 |d CNY139.00
- 100 __ |a 20220701d2022 em y0chiy50 ea
- 200 1_ |a 实用编程语言理论基础 |9 shi yong bian cheng yu yan li lun ji chu |b 专著 |d Practical foundations for programming languages |f (美)罗伯特·哈珀(Robert Harper)著 |g 张昱,胡明哲等译 |z eng
- 210 __ |a 北京 |c 机械工业出版社 |d 2022
- 215 __ |a 14,385页 |d 26cm
- 225 2_ |a 计算机科学丛书 |9 ji suan ji ke xue cong shu
- 330 __ |a 本书提出了一种基于类型系统和结构操作语义的编程语言理论。全书涉及的概念广泛,包括:基本数据类型,多态和抽象类型,动态定型,动态分派,子类型和类型细化,符号和动态分类,并行和成本语义,并发和分布。
- 461 _0 |1 2001 |a 计算机科学丛书
- 510 1_ |a Practical foundations for programming languages |z eng
- 701 _0 |c (美) |a 哈珀 |9 ha po |c (Harper, Robert |f 1957~) |4 著
- 702 _0 |a 张昱 |c (女, |f 1972~) |9 zhang yu |4 译
- 702 _0 |a 胡明哲 |9 hu ming zhe |4 译
- 801 _0 |a CN |b YNNI |c 20230606
- 905 __ |a YNNI |d TP312/6816