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.
Contents
- 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