- Degree Bachelor
- Code: CCS4309
- Credit hrs: 3
- Prequisites: CCS4306
- Understand basic functional programming techniques.
- Design programs using types.
- Develop programming mathematical techniques for verification and analysis.
- Use of abstract types and modules to structure code.
- Exploit parallelism in applications
Computer Science bachelor`s degree Program
Data will be available soon!
content serial | Description |
---|
1 | Introducing functional programming |
2 | Basic types and definitions |
3 | Data types, tuples and lists |
4 | Programming with lists |
5 | I/O in Haskell |
6 | Reasoning about programs |
7 | Generalization patterns of computation |
8 | Higher-order functions |
9 | Overloading, type classes and type checking |
10 | Algebraic types |
11 | Abstract data types |
12 | Lazy programming |
14 | Programming with monads |
14 | Domain-Specific Languages |
15 | Revision |
Start your application