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
|