文件名称：PFPL:编程语言实用基础2。 哈珀中文翻译
文件大小：19KB
文件格式：ZIP
更新时间：2024-05-28 04:26:49
TeX
PFPL Practical Foundations for Programming Languages (2nd Edition). R.Harper. Cambridge University Press, 2016. Chinese Translation. 章节翻译分配 : 重要日期 （暂行） 2018.6.29 22:00 前，提交第1版；同时，由学生提交结对修订的结对名单（如果总数为奇数，则形成3人为一组的两两结对修订） 2018.7.6 22:00 前，提交修订版本（包括修订者的反馈以及原译者的最后修订），我们将以此版本来进行评估 使用方法 编译 执行： make 可以编译获得 main.pdf，然后阅读其中的翻译注意事项. 以持续预览模式编译 make pvc 编辑你的翻译稿 请在 下找到你要翻译的章节所在的子目录，在该子目录增加你的翻译文稿；你需要修改该子目录下的
【文件预览】：
PFPL-master
----main.tex(1KB)
----bcprules.sty(9KB)
----.latexmkrc(246B)
----tex()
--------part15-parallelism()
--------preface1.tex(26B)
--------part12-control-flow()
--------part8-partiality-and-recursive-types()
--------part19-appendices()
--------part16-concurrency-and-distribution()
--------part6-infinite-data-types()
--------note.tex(6KB)
--------part1-judgments-and-rules()
--------part3-total-functions()
--------part11-dynamic-dispatch()
--------part4-finite-data-types()
--------part10-subtyping()
--------part5-types-and-propositions()
--------part18-equational-reasoning()
--------part17-modularity()
--------part14-mutable-state()
--------part13-symbolic-data()
--------part7-variable-types()
--------preface2.tex(29B)
--------part2-statics-and-dynamics()
--------part9-dynamic-types()
----terminology.tex(102B)
----setting.tex(5KB)
----README.md(2KB)
----Makefile(143B)
----.gitignore(244B)