Type Systems for Programming Languages
简介：
这些是卡内基梅隆大学计算机科学15-814的课程笔记。这是一份不完整的工作草案，不打算出版。对文献的引用充其量是参差不齐的; 除非另有明确说明，否则此处提供的任何结果都不应视为原始结果。未经作者许可，请不要分发这些笔记。
英文简介：
These are course notes Computer Science 15–814 at Carnegie Mellon University. This is an incomplete, working draft, not intended for publication. Citations to the literature are spotty at best; no results presented here should be considered original unless explicitly stated otherwise. Please do not distribute these notes without the permission of the author.
- 书名
- Type Systems for Programming Languages
- 译名
- 编程语言的类型系统
- 语言
- 英语
- 年份
- 2000
- 页数
- 199页
- 大小
- 773.42 kB
- 下载
Type Systems for Programming Languages.pdf- 密码
- 65536
最后更新：2025-04-12 23:58:13