Speaker Prof. Dr. Helmut Seidl
Location Live-Stream on live.rbg.tum.de
Date Fridays, 8:30-10:00 o'clock
Module IN0003

Further Information

All further information and links to relevant platforms is available on Moodle.


  • Correctness of imperative programs
  • Fundamentals of functional programming with OCaml
    • values, variables, functions
    • data structures, pattern matching
    • higher order functions
    • polymorphic types
    • queues
  • Programming on the whole: Modules and functors
  • Correctness of functional programs
  • Concurrency with channels and rendezvous


The lecture is given in English.

Old version of lecture slides

Lecture Recordings Archive