Uni des Saarlandes
FR Informatik
Programmiersysteme
Vorlesungen
Seminar WS-02

Types and Programming Languages

Seminar im Wintersemester 2002/2003

Prof. Gert Smolka, Dr. Joachim Niehren, Andreas Rossberg
Lehrstuhl für Programmiersysteme, FR Informatik, Universität des Saarlandes

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.

This seminar will be based on the recent book Types and Programming Languages by Benjamin C. Pierce (table of contents). We intend to cover simple type systems, subtyping, recursive types and universal and existential polymorphism.

Assessment

The requirements are:

• presence at all talks
• talk (45min plus discussion)
• extended abstract (10-15 pages, due April 30th)
• electronic copies of slides and extended abstract (PDF, Postscript, or Power Point)

Talks and abstract may be given in German or English.

Slides should be presented to the respective advisor 2 weeks before the talk.

Participants and Schedule

Talks will be given during March 5th to 7th, 2003.

Mail to all participants.