Formal Semantics of Programming Languages, Fall 2024

学期：2024-2025学年第一学期

时间：周三1-2节，8:00am - 9:50am

地点：仙II-110

授课老师：梁红瑾，计算机楼404室

助教：林荣恩，计算机楼409室

[09/04]: Introduction (notes), and Coq tutorial (Overview, and the Coq file used for the demo, which can be compiled with Coq 8.18.0 in release 2023.11.0). How to install Coq.
[09/11]: Mathematical background (notes).
[09/18]: Lambda calculus (notes). Read the first three sections of Peter Selinger's lecture notes. Also see Alligator Eggs for Untyped Lambda Calculus for fun.
[09/25]: Lambda calculus (continued).
[10/09]: Lambda calculus (continued), and simply-typed lambda calculus (notes). Read the type-safety proofs of Dan Grossman's lecture notes.
[10/16]: Simply-typed lambda calculus (continued), and System F (notes).

[10/09]: Assignment on lambda calculus and types. Due by 23:59pm, 10/16.

Submission guidelines:

Please email to TA<191220060@smail.nju.edu.cn>.
Your answers can be in either Chinese or English. They should be submitted in pdf.
Late submissions are not accepted (unless special reasons provided).

Benjamin C. Pierce, et al. Software Foundations
John C. Reynolds. Theories of Programming Languages, Cambridge University Press.
Hanne Riis Nielson, Flemming Nielson. Semantics with Applications: A Formal Introduction.
Robert Harper. Practical Foundations for Programming Languages. (The online abridged preview edition)
Glynn Winskel. The Formal Semantics of Programming Languages: An Introduction. The MIT Press.
Benjamin C. Pierce. Types and Programming Languages. The MIT Press.

最后更新日期：2024-10-14