Robert Stremler
Main
Planning
2006-2007
Period 1

Preparatory Course (Grammars & Parsing, Functional Programming and Program Correctness)
Period 2

Software Architecture
Period 3

Advanced Functional Programming

Program Verification
Period 4

Generic Programming
2007-2008
Period 1

Software Engineering

Software Specification
Period 2

Implementation of Programming Languages

Seminar Networked Objects
Period 3

Software Technology Colloquium (Static Contract Checking for Haskell)
Period 4

Thesis Proposal
Thesis Project
Project title: Extending a Simple Functional Programming Language with Dependent Types
Advisor: Andres Loeh