Special Topics in Software Engineering:
Advanced Functional Programming
The main topics of the course are advanced type concepts of functional programming languages and generic programming. Advanced type systems raise the level of abstraction of the language, improve code quality, while type cheking helps to decrase the probability of programming errors. Functional programming languages contain special concepts, i.e. higher order types and type constuctor classes, uniqness types, dynamics, use the concept of kinds and support generics. Examples are shown in the programming language Clean.
Prof. Dr. Zoltan Horvath
Students will have to do a project and send it to the lecturer. The marks for this course will be based on the project.