The aim of the course is to explore the powerful mechanisms that functional programming languages offer to solve real problems and structure larger programs. The focus lies on library design and the concept of embedded languages. The programming language used in the course is Haskell (www.haskell.org). Concrete concepts that are taught in the course: • The use of advanced type system features, such as type classes and generalized algebraic datatypes • Design and implementation techniques for embedded languages • Monads and monad transformers • Parser and pretty printing combinators • GUI programming techniques Examples of concrete real-life applications of the above are also part of the course.
Requirements: To be eligible for the course, students should have successfully completed two years of an education aimed at a Bachelor´s degree within Computer Science or equivalent. The courses DIT142 Functional programming, MMGD10 Introductory Discrete Mathematics and at least one of the courses DIT230 Programming language technology or DIT331 programming paradigms or equivalent are required. Applicants must prove their knowledge of English: English 6/English B from Swedish Upper Secondary School or the equivalent level of an internationally recognized test, for example TOEFL, IELTS.
Selection: Selection is based upon the number of credit points from previous university studies.
Application fee: 900 SEK
Full course cost: 17 113 SEK
First payment: 17 113 SEK
EU/EEA citizens, Swedish residence permit holders and exchange students do not pay fees. More information on: http://www.universityadmissions.se
Eirin Bakken, tel: 031-772 1709, e-post: firstname.lastname@example.org
Department of Computer Science and Engineering
Visiting address: Rännvägen 6 b