型システム入門 : プログラミング言語と型の理論

该资源由用户: 宛亦来了 上传  举报不良内容

型システムを理解するうえでの定番書を翻訳! 型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages"を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。

如果您对该资源产生疑虑，欢迎您 点击此处 举报不良内容。 希望我们能共建一个文明社区！感谢您的合作与支持！

扫一扫即可关注本站(PDF之家)微信公众账号
发送您想要找的书籍名称即可找到书籍

Image

本站为非盈利性网站, 但服务器成本高昂, 如果本站内容对您有帮助, 欢迎捐赠, 您的鼓励是我们最大的动力!

支持一下
直接下载
在线预览
大小: 139.6 MB
格式: PDF
反馈

声明

本站资源来源于网络及个人用户网盘上传，仅用于分享知识，学习和交流! 本站不保存,不制作,不出售任何图书。请您下载完在24小时内删除。 资源禁用于商业用途！如果您喜欢本站资源，请购买正版，谢谢合作！

标签

入門 言語 理論

扫码支持一下:

Image Image

猜你喜欢

Image

The Economist October 15th, 2011 issue 8751

View more
The Economist October 15th, 2011 issue 8751
Image

好看到睡不着的中国史(全4册):纵观唐、宋、明、清四朝风云变幻，开启读史新潮流(竹石文化）

View more
好看到睡不着的中国史(全4册):纵观唐、宋、明、清四朝风云变幻，开启读史新潮流(竹石文化）
Image

DIY Secrets.en.pt.pdf

View more
DIY Secrets.en.pt.pdf
Image

The Days of Vengeance: An Exposition of the Book of Revelation

View more
The Days of Vengeance: An Exposition of the Book of Revelation
Image

木工雕刻全书：从零开始真正掌握木雕技艺.pdf

View more
木工雕刻全书：从零开始真正掌握木雕技艺.pdf
Image

中国历史大讲堂:西周史话

View more
中国历史大讲堂:西周史话
Image

高等数学教程

View more
高等数学教程
Image

闻一多全集（全12册）

View more
闻一多全集（全12册）
Image

毫无障碍学Python

View more
毫无障碍学Python
Image

阿·鲁宾斯坦缤纷录

View more
阿·鲁宾斯坦缤纷录
Image

清真大典 第十四册

View more
清真大典 第十四册
Image

列宁选集（4）

View more
列宁选集（4）

型システム入門 : プログラミング言語と型の理論

请输入验证码: