x !
Archived Curricula Guide 2011–2012
Curricula Guide is archieved. Please refer to current Curricula Guides
TKOPS150 Advanced Functional Programming 10 ECTS
Organised by
Computer Science
Person in charge
Jyrki Nummenmaa
Planned organizing times
Period(s) I II III IV
2011–2012 X

Learning outcomes

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.


- 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

Teaching methods

Teaching method Contact Online
Lectures 28 h 0 h
Independent work
Exercises 14 h 0 h

Teaching language


Modes of study

Lectures, weekly exercises, coursework, exam.


Numeric 1-5.

Recommended year of study

First or second year of M.Sc. studies.

Study materials

O'Sullivan B., Stewart D., and Goerzen J., Real World Haskell, available on-line at http://book.realworldhaskell.org/

Lipovaca M., Learn You a Haskell for Great Good, available on-line at http://learnyouahaskell.com/

Belongs to following study modules

School of Information Sciences
School of Information Sciences
Archived Teaching Schedule. Please refer to current Teaching Shedule.
School of Information Sciences