go top

types and programming languages 添加释义

网络释义英英释义

  类型和程序设计语言

类型和程序设计语言(Types and Programming Languages) 1

基于16个网页-相关网页

  类型和编程语言

我当然听说过 lambda 演算,但直到我读了这本书 《类型和编程语言》(Types and Programming Languages) 我才体会到其中美妙。

基于1个网页-相关网页

Types and Programming Languages

  • abstract: Types and Programming Languages, ISBN 0-262-16209-1, (TaPL) is a book by Benjamin C. Pierce on type systems.

以上来源于: WordNet

双语例句

  • Benjamin C. Pierce. Types and Programming Languages.

    (中译本类型和程序设计语言,马世龙等译)。

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定