Saarland University
Computer Science
Programming Systems
Teaching
Semantics WS 05


Main
Literature
Timetable
Registration
Services
Exams

Semantics: Services

We offer a number of services that will help you understand and practise the contents of the lecture. We recommend you to make use of as many of these services as possible.

Lecture Notes

• Untyped lambda calculus U: Implementation
• Polymorphic lambda calculus F: Quick Reference, Implementation
• ADTs: Implementation in SML
• Proof of Substitution Property
• Proof of Termination Property
• Type Reconstruction
• Constraint Graphs
• Subtyping
• Object Calculus O
• Object Calculus LO

Assignments

Assignments help you to practise the methods and concepts of the lecture.

A new assignment sheet will be published every Thursday. It will neither be corrected nor graded. After one week, we will publish a sample solution that you can compare your own solutions to. If you have further questions, you can discuss them in your tutorial group, during the office hours of any of the tutors, and on the mailing list.

Tutorials

In the tutorials, you can

• test your knowledge in an exam-like situation (see below),
• discuss the sample solutions to the assigments with your tutor and your fellow students, and
• get hints and suggestions concerning the lecture.

A tutorial usually takes about an hour.

The tutors for this lecture are:

Tests

Tests allow you to practise your skills in an exam-like situation. Participation in the tests is obligatory and the results affect your final grade.

Tests will be offered at the beginning of each tutorial. They are written and closed-book, and examine the contents of the current assignment sheet. Tests will take about 15 minutes. To prepare for the tests, you should work through the assignments, and use the office hours of any of the tutors and the mailing list to ask about anything that is unclear to you.

Tests will be graded by your tutor. In each test you can gather up to 15 points. Missing a test gets you 0 points for that test. At the end of the semester, the sum of all points results in a grade that makes up one third of the final grade for the course (see exams). In each half of the semester, you have two jokers: the two tests where you received the least number of points will not be considered for the final grade.

Tests cannot compensate for failed exams.

Office Hours

During the office hours, tutors can give you direct support. You may, for example, want to

• resolve individual problems you might have with the lecture,
• discuss alternative solutions to the assignments,
• ask advanced questions about the contents of the lecture.

Please see the Timetable to find out about the time slots for the office hours.

Mailing list

The mailing list should be used to ask any questions you might have about the lecture. It will also be used to make important announcements. Subscribing to the mailing list is highly recommended.

Click here to subscribe to or unsubscribe from the mailing list, or to visit the list archives.