程序设计语言理论

收藏
  • 【作者】陈意云,张昱[著]
  • 【关键词】程序设计语言学 研究生 教材
  • 【出版社】高等教育出版社
  • 【出版日期】2010
  • 【ISBN】978-7-04-028404-1
  • 【中图分类号】 TP311.1
  • 【内容简介】本书主要围绕着一系列的λ演算来组织,主要内容包括:泛代数和代数数据类型、简单类型化λ演算、类型化λ演算的模型、命令式程序的语义、递归类型等。全部展开
  • 【页码】350页
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆

  • 【获取途径】
联合资源统一检索系统 超星 V2.0
已保存的题录(0)
选出输出字段:
加载保存列表...
清空文件夹
注:
通过勾选,使对应参与检索,从而可以轻松获得更全面的检索结果。