"Typesystems" is a lecture in a classic style based on a weekly talk, mixed up by activities like interposed questions and brief discussions. After an overview and the introduction of some terminology we repeatedly examine (1) practical experiences, (2) formal models based on them and (3) typical applications thereof for type checking, leading to new practical experiences. Students shall prepare themselves for the talks and the final exam also by autonomous research (supported by the script).
Lectures are in presence. Live streams and recordings of these lectures are not possible for technical reasons. If general regulations do not allow us to have lectures in presence in a reasonable manner, lectures will be held in Zoom. In this case you will find access data to such Zoom meetings (as well as a script and slides) in TUWEL. Please register for this course early enough in TISS because you will get access to TUWEL only after registration.
ECTS-Breakdown:
- 25h: Participation in lectures
- 25h: Consolitation of the topics by autonomous research
- 25h: Preparation for exam and oral exam
An oral exam will check the learning outcomes given above. Exams will occur in presence in the office of the lecturer. If exams in presence are not possible, online exams using Zoom can be arranged. Appointment and registration are arranged by mail. In general, there will be exams each Monday (except during holidays) from 10 a.m. to 11 a.m., but can also be arranged at other times. Registrations must be made at least one week before the exams.