The students learn design of embedded domain specific languages using functional programming, usage and extension of advanced types, and techniques for specification based program 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