CS3342: Foundations of Programming Languages (Spring 2025)

• Instructor: Huan Long, longhuan (at) sjtu.edu.cn
• Class: 12:55-15:40 every Tuesday (weeks 1-16)
  
• Place: Dong Zhong Yuan 4-103
• TA: TBD
• Office hour: 13:00 - 15:00 every Monday,
                         Location: Dianxin Building 3-327 (电信群楼3-327)

Announcement

• Feb. 16, 2025, Welcome to CS3342.

Slides

• An all-in-on version for this course: Slides
• A concise version by Prof. Yuxin Deng: Slides
• A separate version by Prof. Hongfei Fu: Slides

References

• The Formal Semantics of Programming Languages, an Introduction, by Glynn Winskel
• Types and Programming Languages, by Benjamin C. Pierce
• Programming Languages: Application and Interpretation, by Shriram Krishnamurthi