Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Lecture: Semantics

Summer term 2018

News

June 5
The material for the last two lectures on Haskell has been uploaded!
May 29
The material for the first two lectures on Haskell has been uploaded!
May 25
The next four lectures will consist of an introduction to functional programming in Haskell:
  • May 28: Basic Haskell
  • May 29: Advanced Haskell
  • June 4: Monads
  • June 5: More monads
The lectures will be given by Sebastian Muskalla.
March 20
The first lecture will take place on April 9. The first exercise session will take place on April 12.
March 20
The introduction to functional programming in

Organization

Lecture Notes

There are hand-written lecture notes: There are preliminarey TeX'ed lecture notes on the some categorical aspects: identifying the monad underlying alternating automata, and connections between the simply typed Lambda-calculus and (cartesian) closed categories. In addition, notes on two different approaches to monads have been added. Further literature recommendation: chapter 1 of the book "Homotopy Type Theory" provides a nice introduction into (internal) Martin-Löf type theory, which extends the Lambda-Calculus with dependent types. It points out the crucial differences between set theory and type theory and aims to prepare for the new approach involving homotopy theory (presently beyond our scope). A PDF-version is freely available. If you have questions or spot a bug in the notes, please contact Roland Meyer or Jürgen Koslowski.

Haskell

If you have questions or encounter problems with the exercises, please contact Sebastian.

Module

Successfully finishing the module consists of two parts:

Contents