CS7302: Foundations of Programming Languages (Spring 2024)

• Instructor: Huan Long, longhuan (at) sjtu.edu.cn
• Class: 12:55-15:40 every Monday (weeks 1-16)
  
• Place: Chen Rui Qiu Building 223
• TA: Hao Wu (吴昊), wuhao_seiee@sjtu.edu.cn
• Office hour: 13:00 - 15:00 every Monday,
                         Location: Dianxin Building 3-327 (电信群楼3-327)

Announcement

• Feb. 19, 2024, Welcome to CS7302.

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, MIT Press 1993