文件列表:

.latexmkrc (246, 2018-06-26)
Makefile (143, 2018-06-26)
bcprules.sty (9000, 2018-06-26)
main.tex (1310, 2018-06-26)
setting.tex (5126, 2018-06-26)
terminology.tex (102, 2018-06-26)
tex (0, 2018-06-26)
tex\note.tex (6294, 2018-06-26)
tex\part1-judgments-and-rules (0, 2018-06-26)
tex\part1-judgments-and-rules\abstract-syntax.tex (41, 2018-06-26)
tex\part1-judgments-and-rules\hypothetical-and-general-judgments.tex (38, 2018-06-26)
tex\part1-judgments-and-rules\inductive-definitions.tex (0, 2018-06-26)
tex\part1-judgments-and-rules\part.tex (144, 2018-06-26)
tex\part10-subtyping (0, 2018-06-26)
tex\part10-subtyping\part.tex (9, 2018-06-26)
tex\part11-dynamic-dispatch (0, 2018-06-26)
tex\part11-dynamic-dispatch\part.tex (9, 2018-06-26)
tex\part12-control-flow (0, 2018-06-26)
tex\part12-control-flow\part.tex (9, 2018-06-26)
tex\part13-symbolic-data (0, 2018-06-26)
tex\part13-symbolic-data\part.tex (9, 2018-06-26)
tex\part14-mutable-state (0, 2018-06-26)
tex\part14-mutable-state\part.tex (9, 2018-06-26)
tex\part15-parallelism (0, 2018-06-26)
tex\part15-parallelism\part.tex (9, 2018-06-26)
tex\part16-concurrency-and-distribution (0, 2018-06-26)
tex\part16-concurrency-and-distribution\part.tex (9, 2018-06-26)
tex\part17-modularity (0, 2018-06-26)
tex\part17-modularity\part.tex (9, 2018-06-26)
tex\part18-equational-reasoning (0, 2018-06-26)
tex\part18-equational-reasoning\part.tex (9, 2018-06-26)
tex\part19-appendices (0, 2018-06-26)
tex\part19-appendices\part.tex (9, 2018-06-26)
tex\part2-statics-and-dynamics (0, 2018-06-26)
tex\part2-statics-and-dynamics\part.tex (9, 2018-06-26)
tex\part3-total-functions (0, 2018-06-26)
tex\part3-total-functions\part.tex (9, 2018-06-26)
... ...

# PFPL *Practical Foundations for Programming Languages* (2nd Edition). R.Harper. Cambridge University Press, 2016. Chinese Translation. 章节翻译分配 : [google docs](https://docs.google.com/spreadsheets/d/1025pcs6RuDSXPrbbuoRkvBvwtOjqgKYXbw5eQ7m1RDk/edit?usp=sharing) ## 重要日期 (暂行) - 2018.6.29 22:00 前,提交第1版;同时,由学生提交结对修订的结对名单(如果总数为奇数,则形成3人为一组的两两结对修订) - 2018.7.6 22:00 前,提交修订版本(包括修订者的反馈以及原译者的最后修订),我们将以此版本来进行评估 ## 使用方法 ### 编译 - 执行: `make` 可以编译获得 main.pdf,然后阅读其中的**翻译注意事项**. - 以持续预览模式编译 `make pvc` ### 编辑你的翻译稿 请在 [tex](./tex) 下找到你要翻译的章节所在的子目录,在该子目录增加你的翻译文稿;你需要修改该子目录下的 `part.tex` ,补充Part名称并用 `\subimport` 导入你的翻译文稿文件。 **注意**: - 每一小节写入独立的tex文件中,便于多人 review - 对经常使用的格式,可以定义一些命令(可参照 [setting.tex](setting.tex)),并在 [Piazza](https://piazza.com/ustc.edu.cn/spring2018/01116701/home) 上广而告之 ## 提交方法 **因版权问题, 翻译稿不再放在 GitHub 上.** 大家可以从学校内部的git服务器 (202.38.79.111 port 13022) 上取 `pfpl` 库 各位同学只有读的权限,需要参照 [公开的小型项目](https://git-scm.com/book/zh/v1/%E5%88%86%E5%B8%83%E5%BC%8F-Git-%E4%B8%BA%E9%A1%B9%E7%9B%AE%E4%BD%9C%E8%B4%A1%E7%8C%AE#%E5%85%AC%E5%BC%80%E7%9A%84%E5%B0%8F%E5%9E%8B%E9%A1%B9%E7%9B%AE),使用pull-request进行提交

近期下载者：

相关文件：

评论：[我要评论] [举报此文件]

收藏者：