没有合适的资源？快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
Practical Foundations for Programming Languages
Practical Foundations for Programming Languages
Programming
Languages
需积分: 10
8 下载量
155 浏览量
2014-03-23
11:29:09
上传
评论
收藏
1.87MB
PDF
举报
温馨提示
立即下载
Practical Foundations for Programming Languages.pdf
资源推荐
资源评论
Practical Foundations for Programming languages
浏览：86
4星 · 用户满意度95%
关于编程语言理论方面的书, If you are interested, you may download it for a detailed view.
Practical Foundations for Programming Languages(2nd) mobi
浏览：73
Practical Foundations for Programming Languages(2nd) 英文mobi 第2版 本资源转载自网络，如有侵权，请联系上传者或csdn删除 本资源转载自网络，如有侵权，请联系上传者或csdn删除
编程语言实用基础，第二版（预览版）Practical Foundations for Programming Languages, 2nd Edition (Preview)
浏览：161
涵盖编程语言的基础。 强调控制编程语言语法和语义的类型结构的概念。
Practical Foundations for Programming Languages(2nd) azw3
浏览：149
Practical Foundations for Programming Languages(2nd) 英文azw3 第2版 本资源转载自网络，如有侵权，请联系上传者或csdn删除 本资源转载自网络，如有侵权，请联系上传者或csdn删除
编程语言的实用基础（Robert Harper）Practical Foundations for Programming Languages (Robert Harper)
浏览：77
对各种编程语言概念的出色介绍。 使用对编程语言的分析和实现在实践中非常有用的技术，对它们进行了统一且仔细的解释。
Practical Foundations for Programming Languages, 2nd, 2016 高清原版，非draft版
浏览：171
Practical Foundations for Programming Languages 是CMU教授Robert Harper 的15-312 Foundations of Programming Languages 参考教材。
Practical Foundations for Programming
浏览：197
Practical Foundations for Programming. Languages. Robert Harper. Carnegie Mellon University. Summer, 2007.
Foundations for Programming Languages
浏览：118
Foundations for Programming Languages
Practical_Foundations_for_Programming_Languages
浏览：129
此书主要介绍程序设计语言的基础，几乎涵盖了程序语言的方方面面，小到符号、异常，大到整个类型系统的设计、并行、并发语义的设计与实现。 作者既然把这本书电子版直接放出来，至少说明他很自信这是一本好书，也很希望与更多喜欢该技术的人交流。 我们也有充分的理由相信，这书值得一读。
Practical Foundations for Programming Languages(2nd) epub
浏览：59
Practical Foundations for Programming Languages(2nd) 英文epub 第2版 本资源转载自网络，如有侵权，请联系上传者或csdn删除 本资源转载自网络，如有侵权，请联系上传者或csdn删除
Practical.Foundations.for.Programming.Languages.2nd
浏览：179
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 ...
PFPL:编程语言实用基础2。 哈珀中文翻译
浏览：192
PFPLPractical Foundations for Programming Languages (2nd Edition). R.Harper. Cambridge University Press, 2016. Chinese Translation.章节翻译分配 : 重要日期 （暂行）2018.6.29 22:00 前，提交第1版；同时，...
abstract-binding-trees:抽象绑定树（抽象语法树加活页夹），作为Agda中的库
浏览：147
这是一个用于抽象绑定树的Agda库，如Robert Harper的《 Practical Foundations for Programming Languages》一书的第1章所述。 抽象绑定树（ABT）是一个抽象语法树，它也知道绑定器和变量。 因此，该库还定义了ABT上...
Haskell 系列打包第二弹
浏览：57
Parallel and Concurrent Programming in Haskell; Practical Concurrent Haskell; Practical.Foundations.for.Programming.Languages.2ed.2.03; 倾心收集的资料, 祝大家愉快下载;
Foundations of Programming Languages(2nd) 无水印原版pdf
浏览：196
Foundations of Programming Languages(2nd) 英文无水印原版pdf 第2版 pdf所有页面使用FoxitReader、PDF-XChangeViewer、SumatraPDF和Firefox测试都可以打开 本资源转载自网络，如有侵权，请联系上传者或csdn删除 查看此书详细信
Foundations for Programming Languages John C. Mitchell, MIT 1996
浏览：51
3星 · 编辑精心推荐
顾名思义，是关于编程语言的一些共性的、基础性概念的一本书。
Foundations.of.Joomla.1484207505
浏览：28
Foundations of Joomla addresses beginners who don’t have deep experience in programming languages. The book teaches how to build professional fully featured websites using Joomla 3. It explains all ..
python大作业 含爬虫、数据可视化、地图、报告、及源码（整和为一个文件）（2014-2020全国各地区原油加工量）.rar
浏览：116
5星 · 资源好评率100%
（含源码及报告）本程序分析了自2014年到2020年每年我国原油加工的产量，并且分析了2019年全国各地区原油加工量，含饼状图，柱状图，折线图，数据在地图上显示。运行本程序需要requests、bs4、csv、pandas、matplotlib、pyecharts库的支持，如果缺少某库请自行安装后再运行。文件含2个excel表，4个csv文件以及一个名字为render的html文件（需要用浏览器打
仿真电路以及操作方法
浏览：144
5星 · 资源好评率100%
用一片通用四运放芯片LM324组成电路，实现以下功能：用低频信号源产生ui1=0.1sin2πft（V），f=500Hz的正弦波信号，加至加法器的输入端，加法器的另输入端加入有自制振荡器产生的信号uo1。要求加法器的输出电压ui2=10 ui1+ uo1。ui2经选频滤波器滤除uo1频率分量，选出f信号为uo2，uo2为峰峰值等于9V的正弦信号。uo2信号经比较器后在1KΩ负载上得到峰峰值2V的输
【纯干货啊】华为IPD流程管理(完整版).pptx
浏览：38
4星 · 用户满意度95%
华为IPD产品研发流程完整版。非常的详细，很适合给新是的实习生做培训用！是我一直在用的流程管理，很适合学习与交流。
可编程语言标准IEC61131-3中文版.pdf
浏览：42
5星 · 资源好评率100%
可编程语言标准IEC61131-3中文版
OFDM完整仿真过程与教程.zip
浏览：70
5星 · 资源好评率100%
辛苦写了关于OFDM的详细仿真，从产生信息流到最终解调，包含星座图，误码率图。包括了相关技术的详细解释，（信道编码，扩频，导频，信道估计等）。注：本段程序不包括射频传输部分，即载波调制，基带调制为QPSK。具体的教程可以参考我的相关文章。
信号与系统——保研复习资料.pdf
浏览：132
本文档为本人保研复习过程中撰写的信号与系统复习文档，参考书籍为吴大正老师主编的信号与线性系统分析（第四版），全文共43页，包含以下内容： 一、信号与系统（绪论） 二、连续系统的时域分析 三、离散系统的时域分析 四、傅里叶变换和系统的频域分析 五、连续系统的s域分析 六、离散系统的z域分析 七、系统函数 八、少量经典面试题（保研）
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
andrewleung
粉丝: 5
资源:
1
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
詹佳 陈敏 口语2.mp3
图书管理系统毕业设计Java语言实现
turtle-0.0.2.zip
机器学习（股票），基于机器学习算法支持向量机SVM的交易策略
1713969763417.png
国家药品编码本位码,国家药品编码本位码,国家药品编码本位码,国家药品编码本位码
一款基于SVM算法的智能法律助手-前端
wallpaperList
基于JSP毕业设计-+SQL网站流量统计管理系统(源代码+论文).zip
base.apk
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
