Graduate course
Semantics :: Prof. Gert Smolka :: WS 05/06
--------
Seminar
Advanced Functional Programming :: with Christian Lindig :: WS 05/06
--------
Seminar
Theorie kommunizierender Systeme: Der Pi-Kalkül :: Prof. Gert Smolka :: SS 04
--------
Proseminar
Programmiersysteme :: Prof. Gert Smolka :: WS 03/04
--------
Software-Praktikum
Verteiltes Snake-Spiel in Alice :: WS 03/04
--------
Seminar
Logische Aspekte von XML :: Prof. Gert Smolka :: SS 03
--------
Software-Praktikum
Verteiltes Snake-Spiel in Alice :: SS 03
--------
Seminar
Types and Programming Languages :: Prof. Gert Smolka :: WS 02/03
--------
Seminar
Typsysteme :: Prof. Gert Smolka :: WS 99/00
--------
Introductory course
Informatik 1 :: Prof. Gert Smolka :: WS 99/00
--------
Introductory course
Informatik 1 :: Prof. Gert Smolka :: WS 98/99
--------
Georg Neis :: Master Thesis "
Non-Parametric Parametricity"
--------
Andi Scharfstein :: Bachelor Thesis "
A Sandboxing Infrastructure for Alice ML"
--------
Georg Neis :: Bachelor Thesis "
A Semantics for Lazy Types"
--------
Sebastian Miele :: Bachelor Thesis "Higher-order and Asynchronous Foreign Functions for SEAM" (cancelled)
--------
Niko Paltzer :: Bachelor Thesis "
Efficient Representation of Dynamic Types"
--------
Christian Müller :: Diploma Thesis "
Run-time Byte Code Compilation, Optimization and Interpretation for Alice" :: supervised by Guido Tack
--------
Sebastian Germesin :: Project "Test Suite for Alice"
--------
Benedikt Grundmann :: Project "Distributed Applications in Alice"
--------
Niko Paltzer :: Project "Ein Lexer-Generator für SML"
--------
Bernadette Blum and
Marvin Schiller :: FoPra "Ein Browser für Alice" :: with Thorsten Brunklaus
--------
Jan Schwinghammer :: FoPra "
Ein Parser-Generator für SML"
--------
Gerhard Schneider :: Diploma Thesis "
ML mit Typklassen"
--------