Universitšt des Saarlandes
Semantics WS 03
Stammvorlesung, Theoretische Informatik, WS 2003/04
Prof. Gert Smolka,
Fachrichtung Informatik, Universitšt des Saarlandes
Tuesday and Thursday, 11.15–13.00, HS 001 (Building 45)
First lecture: Tuesday, October 21st, 2003
Prof. Gert Smolka: Wednesday, 14.00–15.00
(building 45, room 514)
Guido Tack: Monday, 15:00–16:00, Wednesday, 15.00–16.00 (building 45, room 516)
Matthias Horbach: Monday, 10:00–11:00, Tuesday, 17:00–18:00 (building 45, room 507)
The lecture gives an introduction to the theory of programming languages. This year we will focus on types and follow a recent book of Benjamin C. Pierce.
A type system is a syntactic method for enforcing levels of abstraction in programs. The study of type systems--and of programming languages from a type-theoretic perspective--has important applications in software engineering, language design, high-performance compilers, and security.
The core topics include operational semantics and associated proof techniques, the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.Last change: Fri Oct 19 17:18:56 2018