XeLabs/cs-self-learning
2
0
Fork 0
mirror of https://github.com/PKUFlyingPig/cs-self-learning.git synced 2026-06-23 09:58:12 +08:00
Code Issues Projects Releases Packages Wiki Activity

fix: fixed format errors as suggested

Browse source
This commit is contained in:
Yunkai Zhang 2024-05-21 08:45:50 +01:00
parent bd6a311a88
commit 014f32d581
2 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
docs/编程语言设计与分析/Cambridge-Semantics.en.md
View file

@ -16,9 +16,9 @@ This course was taught to 2nd year undergraduate students, however building up s
## Course Resources ## Course Resources
- Course Website: [https://www.cl.cam.ac.uk/teaching/2324/Semantics/](https://www.cl.cam.ac.uk/teaching/2324/Semantics/) - Course Website: [Latest](https://www.cl.cam.ac.uk/teaching/2324/Semantics/)
- Recordings: Available on [YouTube](https://www.youtube.com/playlist?list=PL-2hPK7m5S3hVagseKDPxCBZEqg0PqZhs) - Recordings: [YouTube](https://www.youtube.com/playlist?list=PL-2hPK7m5S3hVagseKDPxCBZEqg0PqZhs)
- Textbooks: - Textbooks:
- Pierce, B.C. (2002). _Types and programming languages_. MIT Press. - Pierce, B.C. (2002). _Types and programming languages_. MIT Press.
- Winskel, G. (1993). _The formal semantics of programming languages_. MIT Press. - Winskel, G. (1993). _The formal semantics of programming languages_. MIT Press.
- Assignments: Related Past Paper Questions are listed at [https://www.cl.cam.ac.uk/teaching/exams/pastpapers/t-SemanticsofProgrammingLanguages.html](https://www.cl.cam.ac.uk/teaching/exams/pastpapers/t-SemanticsofProgrammingLanguages.html), however solutions and tutorial sheets are visible to internal students only. - Assignments: Related Past Paper Questions are listed [here](https://www.cl.cam.ac.uk/teaching/exams/pastpapers/t-SemanticsofProgrammingLanguages.html), however solutions and tutorial sheets are visible to internal students only.

6
docs/编程语言设计与分析/Cambridge-Semantics.md
View file

@ -16,9 +16,9 @@
## 课程资源 ## 课程资源
- 课程网站：[https://www.cl.cam.ac.uk/teaching/2324/Semantics/](https://www.cl.cam.ac.uk/teaching/2324/Semantics/) - 课程网站：[Latest](https://www.cl.cam.ac.uk/teaching/2324/Semantics/)
- 课程视频：目前只有[YouTube](https://www.youtube.com/playlist?list=PL-2hPK7m5S3hVagseKDPxCBZEqg0PqZhs)有 - 课程视频：[YouTube](https://www.youtube.com/playlist?list=PL-2hPK7m5S3hVagseKDPxCBZEqg0PqZhs)
- 课程教材： - 课程教材：
- Pierce, B.C. (2002). _Types and programming languages_. MIT Press. - Pierce, B.C. (2002). _Types and programming languages_. MIT Press.
- Winskel, G. (1993). _The formal semantics of programming languages_. MIT Press. - Winskel, G. (1993). _The formal semantics of programming languages_. MIT Press.
- 课程作业：考试真题中的相关题目汇总在 [https://www.cl.cam.ac.uk/teaching/exams/pastpapers/t-SemanticsofProgrammingLanguages.html](https://www.cl.cam.ac.uk/teaching/exams/pastpapers/t-SemanticsofProgrammingLanguages.html)，但是相关作业题 (Cambridge 内部的 supervision) 以及所有题目的答案均不公开。 - 课程作业：考试真题中的相关题目汇总在 [这里](https://www.cl.cam.ac.uk/teaching/exams/pastpapers/t-SemanticsofProgrammingLanguages.html)，但是相关作业题 (Cambridge 内部的 supervision) 以及所有题目的答案均不公开。