You are browsing the curriculum of a past academic year (2019–2020).
Do you want to change to the ongoing academic year?
Course unit, curriculum year 2019–2020
TIETS47
Functional programming II, 5 cr
Tampere University
- Description
- Completion options
Teaching periods
Course code
TIETS47Language of instruction
EnglishAcademic year
2019–2020Level of study
Advanced studiesGrading scale
General scale, 0-5Persons responsible
Responsible teacher:
Jyrki NummenmaaResponsible organisation
Faculty of Information Technology and Communication Sciences 100 %
Using your own types and type classes
Functors
Applicative Functors
Monoids
Monads
Correct by construction / Agda
Concurrency
Parallel programming
Software transactional memory
Learning outcomes
Compulsory prerequisites
Equivalences
Studies that include this course
Completion option 1
Weekly excercises and exam.
Participation in teaching
No scheduled teaching