POPL
Home

Details

Schedule

Resources

Detailed Information

Time & Place

  • Time: Tuesday 1, 2, 3 (for week 1-9, 12-18)
  • Place: 101, MingDe Building

Staff

Instructor: TAs:
  • Hao Zhu; hhxk - mail.ustc.edu.cn

Contact

  • Office Hour: After every class. Otherwise, send us email in advance to appoint, if you would like to meet and discuss.
  • Piazza Forum: Create new Post in Piazza if you have any problems with assignment or course content, we also encourage any one to answer questions asked by others.
  • QICQ Group: 674573851. This group is used only for course announcements, we will discuss homework or course content problems in Piazza.

Textbook and Reference

The following textbook is recommended:
  • Types and Programming Languages. - by Benjamin C.Pierce

Besides this, we'll also post some papers or reading as supplementary materials. It's very important that you read the textbook or papers in advance. There are also some references and resources on the course web page.

Homework

Homeworks (including the programming assignments and projects) should be attempted individually. If you have any difficulty in solving these problems, you may discuss with your classmates, the instructor or the TAs etc. on Piazza Forum, but final submitted work should be your own.

Late homeworks will NOT be accepted, for ANY reasons.

Evaluation Policy

The final score is evaluated based on homework and final test according to this strategy:

  • 30%: homework
  • 70%: final test