x !
Arkistoitu opetussuunnitelma 2011–2012
Selaamasi opetussuunnitelma ei ole enää voimassa. Tarkista tiedot voimassa olevasta opetussuunnitelmasta.
TKOPS150 Advanced Functional Programming 10 op
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.

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

Teaching methods

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

Teaching language

English

Modes of study

Lectures, weekly exercises, coursework, exam.

Evaluation

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

Informaatiotieteiden yksikkö
The rest of the compulsory courses should be selected from these (Tietojenkäsittelyoppi)
Informaatiotieteiden yksikkö
Master level, Computer Science
2011–2012
Teaching
Archived Teaching Schedule. Please refer to current Teaching Shedule.
Period I Period II Period III Period IV
TKOPS150 Advanced Functional Programming
Informaatiotieteiden yksikkö