没有合适的资源？快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
Types and Programming Languages
Types and Programming Languages
Programming
Languages
需积分: 10
10 下载量
47 浏览量
2009-01-18
15:38:42
上传
评论
收藏
4.2MB
CHM
举报
温馨提示
立即下载
开通VIP（低至0.43/天）
买1年送1年
Introduction about the principles of programming languages
资源推荐
资源评论
类型和程序设计语言(Types and Programming Languages)
浏览：67
5星 · 资源好评率100%
类型理论在程序设计语言的发展中起着举足轻重的作用，成熟的类型系统可以帮助完善程序设计本身，帮助运行系统检查程序中的语义错误。 要理解类型系统在程序设计语言中发挥的作用，本书将是首选读物。本书内容覆盖基本操作语义及其相关证明技巧、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子类型化、囿界量词、递归类型、类型算子等内容。本书既注重内容的广度，也注重内容的深度，实用性强。在
Foundations for Programming Languages
浏览：73
Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to study the axiomatic, operational, and denotational se
types and programming languages
浏览：159
The study of type systems--and of programming languages from a type-theoretic perspective -- -has important applications in software engineering, language design, high-performance compilers, and ...
MIT.Advanced Topics in Types and Programming Languages
浏览：70
5星 · 资源好评率100%
#### 标题解析：MIT.Advanced Topics in Types and Programming Languages 此书名为《高级类型与编程语言主题》，由本杰明·C·皮尔斯（Benjamin C. Pierce）编辑，出版社为麻省理工学院出版社（The MIT Press）。...
Advanced Topics in Types and Programming Languages
浏览：31
4星 · 用户满意度95%
### 高级类型与编程语言主题详解 #### 标题：高级类型与编程语言主题 在计算机科学领域，《高级类型与编程语言主题》是一本由本杰明·C·皮尔斯（Benjamin C....本书由麻省理工学院出版社出版，涵盖了类型系统和编程...
The Essentials of Programming Languages
浏览：138
5星 · 资源好评率100%
Programming Language的原理
Concepts in Programming Languages
浏览：142
5星 · 资源好评率100%
是美国大学研究生课程Concepts in Programming Languages用的课堂PPT。共14章。
Advanced Topics in Types and Programming Languages.pdf
浏览：16
5星 · 资源好评率100%
### 高级类型与编程语言知识点解析 #### 标题：高级类型与编程语言 **高级类型与编程语言**这一主题主要聚焦于编程语言中类型系统的设计与应用，特别是那些较为复杂的、先进的类型机制。这类机制能够帮助程序员更...
Practical Foundations for Programming Languages
浏览：95
5星 · 资源好评率100%
与本杰明的《类型与程序设计语言》（Types and Programming Languages, TAPL）相比，本书涉及更多有趣且实用的主题，如并发和模块系统等。 #### 二、类型系统的重要性 本书的核心理念是将编程语言的特性视为底层...
automata languages and programming
浏览：92
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in
ISO/IEC 14882 2014 Programming Languages C++
浏览：68
C++ is a general purpose programming language based on the C programming language as described in ISO/IEC 9899:1999 Programming languages ? C (hereinafter referred to as the C standard). In addition .
ISO_IEC_14882_2017 Programming languages — C++
浏览：108
C++ is a general purpose programming language based on the C programming language as described in ISO/IEC 9899:2011 Programming languages ? C (hereinafter referred to as the C standard). In addition .
Principles of Programming Languages
浏览：21
3星 · 编辑精心推荐
英文电子书，pdf格式，对程序员编程帮助非常大。
Principles-of-Programming-Languages
浏览：96
编程语言原理 - 这是我在 PL 原理中的最后一个项目它是一种类似于 Java 的语言的编译器，包括 4 个不同的部分； 基于上下文无关文法识别标记、词法分析器、语法分析器、语义分析器和解析器
Programming Languages Racket
浏览：102
racket 小练习 Given a positive integer Return its Collatz length Given a positive integer Return the positive integer <= n that has the largest Collatz length
Programming-Languages:CSE341
浏览：199
Coursera上的编程语言 介绍编程语言的基本概念，并重点介绍函数式编程。 该课程使用语言ML（在），球拍（在）和Ruby（在）作为讲授概念的媒介，但真正的目的是教授足够的关于任何语言如何“融合”到使您可以使用任何一种语言和学习新语言来进行更有效的编程。 介绍 此回购包含了我在本课程中的所有工作。 除非另有说明，否则所有代码库，测验问题，屏幕截图和图像均取自 。 该课程也可在。 我想说什么 详细
Design Concepts in Programming Languages
浏览：88
Hundreds of programming languages are in use today--scripting languages for Internet commerce, user interface programming tools, spreadsheet macros, page format specification languages, and many ...
Practical.Foundations.for.Programming.Languages.2nd
浏览：163
5星 · 资源好评率100%
This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic ...
HPL: Vol. IV: Functional and Logic Programming Languages
浏览：7
4星 · 用户满意度95%
IV: Functional and Logic Programming Languages by Peter Salus Macmillan Technical Publishing, Macmillan Computer Publishing ISBN: 1578700116 Pub Date: 06/11/98 Foreword to the Handbook of ...
Programming languages — C
浏览：176
C99标准的全名为“Programming languages — C”，它在编程社区内对C语言的发展和规范起到了重要的作用。 C99标准详细描述了C语言的形式和语义，其目的是提升C语言程序在各种计算系统上的可移植性、可靠性、可维护...
程序语言设计原理习题解答
浏览：153
5星 · 资源好评率100%
1.1 Reasons for Studying Concepts of Programming Languages 2 1.2 Programming Domains 5 1.3 Language Evaluation Criteria 7 1.4 Influences on Language Design 20 1.5 Language Categories 23 1.6
评论
收藏
内容反馈
立即下载
开通VIP（低至0.43/天）
买1年送1年
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
nanyo
粉丝: 1
资源:
10
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
Screenshot_20241109_130527_com.cscjapp.python.jpg
财务使用，中文编号对照表
EPLAN P8 2.9 语言翻译工具
更新与2024年5月的行业、职业数据表
全国快递公司名称编号表
docker-ce-26.1.4-1.el7.x86-64.rpm
MySQL 全球城市数据表
MySQL 全球的国家、语言、城市数据表，导入可用
五中HTML圣诞树代码浏览器打开动态3D显示
官方原始配置文件 ： /etc/squid/squid.conf
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
