Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Lehre Wintersemester 18/19 Vorlesungen Functional Programming and Verification login

Functional Programming and Verification

Dozent:Prof. Dr. Helmut Seidl
Ort/Zeit:Friday, 08:15 - 09:45 / MW 0001 Gustav-Niemann-Hörsaal
Beschreibung:    This lecture introduces the basic concepts of functional programming by the example of the OCaml language. Furthermore, techniques to prove properties of imperative and functional programs are taught.

(Hint: This site will be updated regulary. Last modification: July 12th, 2018)


  • We started the preparation of the upcoming lecture and are now looking for tutors. If you are interested, please apply here. Do not hesitate to contact Nico Hartmann if you have any questions about the lecture, the tutor positions or your eligibility.


  • 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 takes place on friday from 08:15 to 09:45 in MW 2001 Rudolf-Diesel-Hörsaal. The first lecture is on October 19th, 2018.

The lecture will be given in English.

coming soon...


Exercises will be offered in German as well as English.

coming soon...

Question Time

coming soon...


coming soon...


coming soon...

Additional Material


  • OCaml Documentation (esp. "The core language")
  • Guy Cousineau und Michel Mauny, The Functional Approach to Programming, Cambridge University Press, Cambridge, 1998
  • T. Ottmann, P. Widmayer: Algorithmen und Datenstrukturen. Spektrum 2002

TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 15 ms