类型和程序设计语言(Types and Programming Languages) 1
基于16个网页-相关网页
我当然听说过 lambda 演算,但直到我读了这本书 《类型和编程语言》(Types and Programming Languages) 我才体会到其中美妙。
基于1个网页-相关网页
以上来源于: WordNet
Benjamin C. Pierce. Types and Programming Languages.
(中译本类型和程序设计语言,马世龙等译)。
youdao
应用推荐
模块上移
模块下移
不移动