Robert Stremler

Main

Planning

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

Software Architecture

Advanced Functional Programming

Program Verification

Generic Programming

Software Engineering

Software Specification

Implementation of Programming Languages

Seminar Networked Objects

Software Technology Colloquium (Static Contract Checking for Haskell)

Thesis Proposal

Project title: Extending a Simple Functional Programming Language with Dependent Types

Advisor: Andres Loeh