After the course, the student: - can write programs using an advanced functional programming language (in the case of this course, Haskell) - knows some of the strengths of the functional programming approach, - knows some of the modern developments of programming, - can apply functional programming approach to facilitate software development.
Contents
- Basics of Haskell language - Constructing Domain Specific Languages using Haskell - The use of Monads - The use of Advanced Types - Concurrency and Parallelism - Program Specification and Verification