当前位置：首页 > 科技 - 程序设计语言理论 pdf电子版图书
程序设计语言理论 简介
本书主要围绕着一系列的λ演算来组织，该系列中λ演算的类型系统依次变得越来越复杂，这些λ演算用来分析和讨论相应的程序设计语言概念，如多态性、抽象数据类型、信赖类型、子定型等。并列题名： Theory of programming languages eng
关于我们 - 网站帮助 - 版权声明 - 友情连接 - 网站地图
本站所收录作品、社区话题、书库评论及本站所做之广告均属其个人行为，与本站立场无关
本站所有的作品，图书，资料均为网友更新，如果侵犯了您的权利，请与本站联系，本站将立刻删除(E-MAIL：847151540@qq.com)
Copyright © 2005-2016 www.gbook.cc All Rights Reserved.备案号